Readded configure

[splint.git] / src / cpperror.c

diff --git a/src/cpperror.c b/src/cpperror.c
index 73a26d9df3c49580de032370c2d6a728b0402ef7..5d76f99709406ce8c7ddfd51f86e2ac8e7d321db 100644 (file)
--- a/src/cpperror.c
+++ b/src/cpperror.c
@@ -215,7 +215,7 @@ cppReader_getLoc (cppReader *pfile)
 {
   cppBuffer *ip = cppReader_fileBuffer (pfile);
 
-  if (ip != NULL)
+  if (ip != NULL && ip->buf != NULL)
     {
       int line, col;
       cstring fname = ip->nominal_fname;