29   int field;  member
38   int operator *() const { return field; }  in operator *()
61   if (s.field != 42) return;  in testAssignment()
62   clang_analyzer_eval(s.field == 42); // expected-warning{{TRUE}}  in testAssignment()
64   s.field = 0;  in testAssignment()
65   clang_analyzer_eval(s.field == 0); // expected-warning{{TRUE}}  in testAssignment()
82   int x = getS().field;  in testImmediateUse()
99   if (s.field != 42) return 42;  in getConstrainedField()
100   return s.field;  in getConstrainedField()
104   s.field = 42;  in getAssignedField()
105   return s.field;  in getAssignedField()
114   int x = ((getS())).field;  in testImmediateUseParens()
138   if (s.field != 42) return;  in testReferenceAssignment()
139   clang_analyzer_eval(s.field == 42); // expected-warning{{TRUE}}  in testReferenceAssignment()
153   if (s.field != 42) return 42;  in getConstrainedFieldRef()
154   return s.field;  in getConstrainedFieldRef()