Added code to support CSV output (-csv flag).

[splint.git] / src / cpplib.c

diff --git a/src/cpplib.c b/src/cpplib.c
index 08e8f976bc6e08da3b729ecc8ba827c605a00f96..7abb0d15f96b6dc66e1a8d4f763e3ba8d319c1b9 100644 (file)
--- a/src/cpplib.c
+++ b/src/cpplib.c
@@ -7609,7 +7609,7 @@ void cpplib_initializeReader (cppReader *pfile) /* Must be done after library is
            nlist->got_name_map = 0;
            nlist->next = NULL;
 
-           if (opts->first_system_include == NULL)
+           /*@i2523@*/ if (opts->first_system_include == NULL)
              {
                opts->first_system_include = nlist;
              }
@@ -7624,7 +7624,7 @@ void cpplib_initializeReader (cppReader *pfile) /* Must be done after library is
   cppReader_appendIncludeChain (pfile, opts->after_include,
                                opts->last_after_include);
 
-  if (opts->first_system_include == NULL)
+  /*@i523@*/ if (opts->first_system_include == NULL)
     {
       opts->first_system_include = opts->after_include;
     }