29 struct S getS() {  in getS()  function
34 struct S getS();
39   struct S s = getS();  in testAssignment()
62   int x = getS().field;  in testImmediateUse()
68   clang_analyzer_eval((void *)getS().getThis() == (void *)&x); // expected-warning{{FALSE}}  in testImmediateUse()
69   clang_analyzer_eval((void *)+getS() == (void *)&x); // expected-warning{{FALSE}}  in testImmediateUse()
70   clang_analyzer_eval((void *)-getS() == (void *)&x); // expected-warning{{FALSE}}  in testImmediateUse()
72   clang_analyzer_eval(getS().check()); // expected-warning{{TRUE}}  in testImmediateUse()
73   clang_analyzer_eval(!getS()); // expected-warning{{FALSE}}  in testImmediateUse()
74   clang_analyzer_eval(~getS()); // expected-warning{{FALSE}}  in testImmediateUse()
89   clang_analyzer_eval(getConstrainedField(getS()) == 42); // expected-warning{{TRUE}}  in testArgument()
90   clang_analyzer_eval(getAssignedField(getS()) == 42); // expected-warning{{TRUE}}  in testArgument()
94   int x = ((getS())).field;  in testImmediateUseParens()
99   clang_analyzer_eval(getConstrainedField(((getS()))) == 42); // expected-warning{{TRUE}}  in testImmediateUseParens()
100   clang_analyzer_eval(getAssignedField(((getS()))) == 42); // expected-warning{{TRUE}}  in testImmediateUseParens()
103   clang_analyzer_eval(((getS())).check()); // expected-warning{{TRUE}}  in testImmediateUseParens()
104   clang_analyzer_eval(!((getS()))); // expected-warning{{FALSE}}  in testImmediateUseParens()
105   clang_analyzer_eval(~((getS()))); // expected-warning{{FALSE}}  in testImmediateUseParens()
116   const S &s = getS();  in testReferenceAssignment()
150   clang_analyzer_eval(getConstrainedFieldRef(getS()) == 42); // expected-warning{{TRUE}}  in testReferenceArgument()
151   clang_analyzer_eval(checkThis(getS())); // expected-warning{{TRUE}}  in testReferenceArgument()
152   clang_analyzer_eval(checkThisOp(getS())); // expected-warning{{TRUE}}  in testReferenceArgument()
153   clang_analyzer_eval(checkThisStaticOp(getS())); // expected-warning{{TRUE}}  in testReferenceArgument()
168   int x = *getS();  in testImmediateUseOp()
172   clang_analyzer_eval(getConstrainedFieldOp(getS()) == 42); // expected-warning{{TRUE}}  in testImmediateUseOp()
173   clang_analyzer_eval(getConstrainedFieldRefOp(getS()) == 42); // expected-warning{{TRUE}}  in testImmediateUseOp()