commitng to fix cvs archive. Code works with gcc272 but not 295. Currently passed...

[splint.git] / src / flags.def

diff --git a/src/flags.def b/src/flags.def
index d69542fc781c8bcbf73ba7e7fc0520f584ffd0d0..9fcd65d9a28a5ed1325b5ede0d8a8538529429f7 100644 (file)
--- a/src/flags.def
+++ b/src/flags.def
@@ -2806,7 +2806,15 @@ NULL, NULL,
   "unresolved constraint",
   "LCLint was unable to resolve a constraint at the top of the function.  If code is correct consider using explict annotation assertions,  ",
   0, 0
-},  
+},
+{
+  FK_NT, FK_MEMORY, modeFlag,
+  "constraintlocation",
+  FLG_CONSTRAINTLOCATION,
+  "display full c expression for every constraint generated",
+  ",  ",
+  0, 0
+},
 {
   FK_NT, FK_MEMORY, modeFlag,
   "nullterminated",