Fixed checking for shift expressions.

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

diff --git a/src/Headers/multiVal.h b/src/Headers/multiVal.h
index 18377c894f621e8f6526a091b093773973d86ff5..ff80e0c425ff13ce85aaee4c53264b7cdd161d56 100644 (file)
--- a/src/Headers/multiVal.h
+++ b/src/Headers/multiVal.h
@@ -23,6 +23,11 @@ extern /*@falsenull@*/ bool multiVal_isDefined (multiVal p_m) /*@*/ ;
 extern /*@truenull@*/ bool multiVal_isUndefined (multiVal p_m) /*@*/ ;
 extern /*@truenull@*/ bool multiVal_isUnknown (multiVal p_m) /*@*/ ;
 
+extern multiVal multiVal_add (multiVal p_m1, multiVal p_m2) /*@*/ ;
+extern multiVal multiVal_subtract (multiVal p_m1, multiVal p_m2) /*@*/ ;
+extern multiVal multiVal_multiply (multiVal p_m1, multiVal p_m2) /*@*/ ;
+extern multiVal multiVal_divide (multiVal p_m1, multiVal p_m2) /*@*/ ;
+
 /*@constant null multiVal multiVal_undefined; @*/
 # define multiVal_undefined      (multiVal)NULL
 # define multiVal_isDefined(m)   ((m) != multiVal_undefined)