]> andersk Git - splint.git/blobdiff - src/Headers/sRef.h
Making changes to try to support loops.
[splint.git] / src / Headers / sRef.h
index 94ae54485ba79a586ea397ea9f8ff82af70963d9..ce0123c5d50fe13c3d61065233496b681f8ef28a 100644 (file)
@@ -360,6 +360,13 @@ extern /*@exposed@*/ sRef
   sRef_fixBaseParam (/*@returned@*/ sRef p_s, exprNodeList p_args)
   /*@modifies p_s@*/ ;
 
+  /*
+    drl7x
+    added function
+    12/24/2000
+  */
+extern constraintExpr sRef_fixConstraintParam ( sRef p_s, exprNodeList p_args);
+  
 extern bool sRef_isUnionField (sRef p_s);
 extern void sRef_setModified (sRef p_s);
 
@@ -596,11 +603,11 @@ extern void sRef_setLen(sRef p_s, int p_len);
 
 extern int sRef_getSize(sRef p_s);
 #define sRef_getSize(p_s) \
-   (p_s->bufinfo.size)
+   ((p_s)->bufinfo.size)
 
 extern int sRef_getLen(sRef p_s);
 #define sRef_getLen(p_s) \
-   (p_s->bufinfo.len)
+   ((p_s)->bufinfo.len)
 
 extern void sRef_hasBufStateInfo(sRef p_s);
 # define sRef_hasBufStateInfo(p_s) \
This page took 0.039843 seconds and 4 git commands to generate.