*** empty log message ***

[splint.git] / src / Headers / cpp.h

diff --git a/src/Headers/cpp.h b/src/Headers/cpp.h
index e4a2aa9d487253083814101a157ff7d2af869a59..669ca004634ab951ac981c4dbc5feebeb30a4aba 100644 (file)
--- a/src/Headers/cpp.h
+++ b/src/Headers/cpp.h
@@ -41,6 +41,8 @@ enum cpp_token {
 typedef struct cppReader cppReader;
 extern cppReader g_cppState;
 
+extern /*@only@*/ cstring cppReader_getIncludePath (void) ;
+
 extern int cppProcess (/*@dependent@*/ cstring p_infile,
                       /*@dependent@*/ cstring p_outfile);
 extern void cppAddIncludeDir (cstring);
@@ -49,6 +51,7 @@ extern void cppDoDefine (cstring);
 extern void cppDoUndefine (cstring);
 extern void cppReader_saveDefinitions (void);
 
+extern fileloc cppReader_getLoc (cppReader *);
 extern void cppReader_initialize (void);
 
 # else