49 struct S getS(void) {  in getS()  function
54 struct S getS(void);
59   struct S s = getS();  in testAssignment()
82   int x = getS().field;  in testImmediateUse()
88   clang_analyzer_eval((void *)getS().getThis() == (void *)&x); // expected-warning{{FALSE}}  in testImmediateUse()
89   clang_analyzer_eval((void *)+getS() == (void *)&x); // expected-warning{{FALSE}}  in testImmediateUse()
90   clang_analyzer_eval((void *)-getS() == (void *)&x); // expected-warning{{FALSE}}  in testImmediateUse()
92   clang_analyzer_eval(getS().check()); // expected-warning{{TRUE}}  in testImmediateUse()
93   clang_analyzer_eval(!getS()); // expected-warning{{FALSE}}  in testImmediateUse()
94   clang_analyzer_eval(~getS()); // expected-warning{{FALSE}}  in testImmediateUse()
109   clang_analyzer_eval(getConstrainedField(getS()) == 42); // expected-warning{{TRUE}}  in testArgument()
110   clang_analyzer_eval(getAssignedField(getS()) == 42); // expected-warning{{TRUE}}  in testArgument()
114   int x = ((getS())).field;  in testImmediateUseParens()
119   clang_analyzer_eval(getConstrainedField(((getS()))) == 42); // expected-warning{{TRUE}}  in testImmediateUseParens()
120   clang_analyzer_eval(getAssignedField(((getS()))) == 42); // expected-warning{{TRUE}}  in testImmediateUseParens()
123   clang_analyzer_eval(((getS())).check()); // expected-warning{{TRUE}}  in testImmediateUseParens()
124   clang_analyzer_eval(!((getS()))); // expected-warning{{FALSE}}  in testImmediateUseParens()
125   clang_analyzer_eval(~((getS()))); // expected-warning{{FALSE}}  in testImmediateUseParens()
136   const S &s = getS();  in testReferenceAssignment()
170   clang_analyzer_eval(getConstrainedFieldRef(getS()) == 42); // expected-warning{{TRUE}}  in testReferenceArgument()
171   clang_analyzer_eval(checkThis(getS())); // expected-warning{{TRUE}}  in testReferenceArgument()
172   clang_analyzer_eval(checkThisOp(getS())); // expected-warning{{TRUE}}  in testReferenceArgument()
173   clang_analyzer_eval(checkThisStaticOp(getS())); // expected-warning{{TRUE}}  in testReferenceArgument()
188   int x = *getS();  in testImmediateUseOp()
192   clang_analyzer_eval(getConstrainedFieldOp(getS()) == 42); // expected-warning{{TRUE}}  in testImmediateUseOp()
193   clang_analyzer_eval(getConstrainedFieldRefOp(getS()) == 42); // expected-warning{{TRUE}}  in testImmediateUseOp()