]> andersk Git - splint.git/blobdiff - src/Headers/constraintExpr.h
Added support for or constraints.
[splint.git] / src / Headers / constraintExpr.h
index 6e84f9b21ef453ccf298282b99c5ad8500e19a49..631d0426f64dc87a86476d790a07f42ded598212 100644 (file)
@@ -11,6 +11,7 @@ typedef union constraintTermValue_
 
 typedef enum
 {
+  ERRORBADCONSTRAINTTERMTYPE,
  EXPRNODE, SREF,
  INTLITERAL
 } constraintTermType;
@@ -42,7 +43,7 @@ typedef enum
 {
   binaryexpr,
   unaryExpr,
-  term,
+  term
 }
 constraintExprKind;
 
@@ -174,4 +175,6 @@ constraintExpr constraintExpr_propagateConstants (constraintExpr expr,
                                                /*@out@*/ bool * propagate,
                                                  /*@out@*/ int *literal);
 
+constraintExpr constraintExpr_makeSRefMaxRead(sRef s);
+
 #endif
This page took 0.032676 seconds and 4 git commands to generate.