Added the flags likely-bounds, likely-bounds-write, and likely-bounds-read

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

diff --git a/src/Headers/constraintExpr.h b/src/Headers/constraintExpr.h
index df65c150305fac2faa11f2e9c50f1640aa67a758..09f1c4381cb88ac2a84328b575fd32956ebfa280 100644 (file)
--- a/src/Headers/constraintExpr.h
+++ b/src/Headers/constraintExpr.h
@@ -128,7 +128,11 @@ int constraintExpr_getDepth (/*@observer@*/ /*@temp@*/ constraintExpr p_ex);
 /* drl added 12/30/001*/
 /* extern / *@only@* / constraintExpr constraintExpr_doSRefFixInvarConstraint (/ *@only@* / constraintExpr p_expr, sRef p_s, ctype p_ct); */
 
-   
+
+
+/*drl added 12/19 */
+bool  constraintExpr_isConstantOnly ( constraintExpr p_e );
+
 #else
 # error "Multiple include"
 #endif