]> andersk Git - splint.git/blame - src/Headers/constraintResolve.h
Merged with Dave Evans's changes.
[splint.git] / src / Headers / constraintResolve.h
CommitLineData
d1eb43aa 1
bb25bea6 2extern /*@only@*/ constraintList reflectChanges (/*@observer@*/ constraintList pre2, /*@observer@*/ constraintList post1);
3
4
5/* tries to resolve constraints in list pre2 using post1 */
6/*@only@*/ extern constraintList reflectChangesFreePre (/*@only@*/ constraintList pre2, /*@observer@*/ constraintList post1);
7
8extern /*@only@*/ constraint substitute (/*@observer@*/ constraint c, constraintList p);
9
84c9ffbf 10//extern constraint constraint_searchandreplace (constraint c, constraintExpr old, constraintExpr new);
bb25bea6 11
84c9ffbf 12extern bool resolve ( /*@observer@*/ constraint c, /*@observer@*/ constraintList p);
bb25bea6 13
d46ce6a4 14extern constraint constraint_simplify ( /*@returned@*/ constraint c);
15
16extern /*@only@*/ constraintList constraintList_fixConflicts (constraintList list1, constraintList list2);
d1eb43aa 17
18extern constraintList constraintList_subsumeEnsures (constraintList list1, constraintList list2);
19
bb25bea6 20extern constraintList constraintList_mergeEnsures (/*observer@*/ constraintList list1, /*@observer@*/ constraintList list2);
21
22/*@only@*/ constraintList constraintList_mergeEnsuresFreeFirst (/*@only@*/ constraintList list1, /*@observer@*/ constraintList list2);
23
24
25bool constraint_isAlwaysTrue (/*@observer@*/ constraint c);
26
27/*@only@*/ constraintList constraintList_mergeRequires (/*@observer@*/ constraintList list1,/*@observer@*/ constraintList list2);
28
29/*@only@*/ constraintList constraintList_mergeRequiresFreeFirst (/*@only@*/constraintList list1,/*@observer@*/ constraintList list2);
30
31
d1eb43aa 32
90bc41f7 33constraintList reflectChangesOr (constraintList pre2, constraintList post1);
84c9ffbf 34
bb25bea6 35/*@only@*/ constraintList constraintList_substitute (constraintList target, /*2observer@*/ constraintList subList);
36
37/*@only@*/ constraintList constraintList_substituteFreeTarget (/*@only@*/ constraintList target, /*@observer@*/ constraintList subList);
d46ce6a4 38
39extern void mergeResolve (exprNode parent, exprNode child1, exprNode child2);
40extern constraintList checkCall (exprNode fcn, exprNodeList arglist);
41
42void checkArgumentList (/*@out@*/ exprNode temp, exprNodeList arglist, fileloc sequencePoint) /*@modifies temp @*/;
bb25bea6 43
44constraint inequalitySubstitute (/*@returned@*/ constraint c, constraintList p);
This page took 0.060511 seconds and 5 git commands to generate.