Fixed line numbering when multi-line macro parameters are used.

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

diff --git a/src/Headers/flags.h b/src/Headers/flags.h
index 042948f34940b0bb2ef73203657ae7e670ba8d6d..d81d95ad571b3fdb8f0512b6f05c4f4007006cd7 100644 (file)
--- a/src/Headers/flags.h
+++ b/src/Headers/flags.h
@@ -49,6 +49,9 @@ extern /*@observer@*/ cstring flagcode_unparse (flagcode p_code) /*@*/ ;
 extern int flagcode_valueIndex (flagcode p_f) /*@*/ ;
 extern int flagcode_stringIndex (flagcode p_f) /*@*/ ;
 
+extern bool flagcode_equal (flagcode p_code1, flagcode p_code2) /*@*/ ;
+# define flagcode_equal(c1, c2) ((c1) == (c2))
+
 extern /*@observer@*/ cstring flagcodeHint (flagcode p_f);
 
 extern flagkind identifyCategory (cstring p_s) /*@*/ ;