Made allocations involving sizeof work correctly (test/malloc.c).

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

diff --git a/src/Headers/constraintExprData.h b/src/Headers/constraintExprData.h
index c034882c958890fc1abd19ef93321463d738db4f..e4a4bec378d39d2b4f35e036960dd8e20b33d267 100644 (file)
--- a/src/Headers/constraintExprData.h
+++ b/src/Headers/constraintExprData.h
@@ -1,8 +1,6 @@
 #ifndef __constraintExprData_h__
-
 #define __constraintExprData_h__
 
-
 typedef enum
 {
   BINARYOP_UNDEFINED,
@@ -18,7 +16,6 @@ typedef enum
  }
 constraintExprUnaryOpKind;
 
-
 typedef struct constraintExprBinaryOp_
 {
   constraintExpr expr1;
@@ -26,14 +23,12 @@ typedef struct constraintExprBinaryOp_
   constraintExpr expr2;
 } constraintExprBinaryOp;
 
-
 typedef struct constraintExprUnaryOp_
 {
   constraintExpr expr;
   constraintExprUnaryOpKind unaryOp;
 } constraintExprUnaryOp;
 
-
 typedef union constraintExprData
 {
   constraintExprBinaryOp binaryOp;
@@ -50,13 +45,17 @@ extern void constraintExprData_freeTerm (/*@only@*/ constraintExprData) ;
 
 extern constraintExprData constraintExprData_termSetTerm ( /*@returned@*/ /*@partial@*/ constraintExprData p_data, /*@only@*/ constraintTerm p_term);
 
-extern /*@observer@*/ constraintTerm constraintExprData_termGetTerm (/*@observer@*/ constraintExprData p_data) /*@*/;
+extern /*@exposed@*/ constraintTerm 
+constraintExprData_termGetTerm (/*@observer@*/ constraintExprData p_data) /*@*/;
 
-extern constraintExprUnaryOpKind constraintExprData_unaryExprGetOp (/*@observer@*/ /*@reldef@*/ constraintExprData p_data) /*@*/;
+extern constraintExprUnaryOpKind 
+constraintExprData_unaryExprGetOp (/*@observer@*/ /*@reldef@*/ constraintExprData p_data) /*@*/;
 
-extern /*@observer@*/ constraintExpr  constraintExprData_unaryExprGetExpr (/*@observer@*/ /*@reldef@*/constraintExprData p_data) /*@*/;
+extern /*@observer@*/ constraintExpr 
+constraintExprData_unaryExprGetExpr (/*@observer@*/ /*@reldef@*/constraintExprData p_data) /*@*/;
 
-extern constraintExprData  constraintExprData_unaryExprSetOp (/*@partial@*/ /*@returned@*/ constraintExprData p_data, constraintExprUnaryOpKind p_op);
+extern constraintExprData  
+constraintExprData_unaryExprSetOp (/*@partial@*/ /*@returned@*/ constraintExprData p_data, constraintExprUnaryOpKind p_op);
 
 extern constraintExprData  constraintExprData_unaryExprSetExpr (/*@partial@*/ /*@returned@*/ constraintExprData p_data,  /*@only@*/ constraintExpr p_expr);