Lines Matching refs:t
50 A t; in checkThatConstMethodWithoutDefinitionDoesNotInvalidateObject() local
51 t.x = 3; in checkThatConstMethodWithoutDefinitionDoesNotInvalidateObject()
52 t.foo(); in checkThatConstMethodWithoutDefinitionDoesNotInvalidateObject()
53 clang_analyzer_eval(t.x == 3); // expected-warning{{TRUE}} in checkThatConstMethodWithoutDefinitionDoesNotInvalidateObject()
55 t.bar(); in checkThatConstMethodWithoutDefinitionDoesNotInvalidateObject()
56 clang_analyzer_eval(t.x); // expected-warning{{UNKNOWN}} in checkThatConstMethodWithoutDefinitionDoesNotInvalidateObject()
60 B t; in checkThatConstMethodDoesInvalidateMutableFields() local
61 t.mut = 4; in checkThatConstMethodDoesInvalidateMutableFields()
62 t.foo(); in checkThatConstMethodDoesInvalidateMutableFields()
63 clang_analyzer_eval(t.mut); // expected-warning{{UNKNOWN}} in checkThatConstMethodDoesInvalidateMutableFields()
68 C t; in checkThatConstMethodDoesInvalidatePointedAtMemory() local
69 t.p = &x; in checkThatConstMethodDoesInvalidatePointedAtMemory()
70 t.foo(); in checkThatConstMethodDoesInvalidatePointedAtMemory()
72 clang_analyzer_eval(t.p == &x); // expected-warning{{TRUE}} in checkThatConstMethodDoesInvalidatePointedAtMemory()
76 MutDerived t; in checkThatConstMethodDoesInvalidateInheritedMutableFields() local
77 t.b_mut = 4; in checkThatConstMethodDoesInvalidateInheritedMutableFields()
78 t.foo(); in checkThatConstMethodDoesInvalidateInheritedMutableFields()
79 clang_analyzer_eval(t.b_mut); // expected-warning{{UNKNOWN}} in checkThatConstMethodDoesInvalidateInheritedMutableFields()
84 PDerived t; in checkThatConstMethodDoesInvalidateInheritedPointedAtMemory() local
85 t.p = &x; in checkThatConstMethodDoesInvalidateInheritedPointedAtMemory()
86 t.foo(); in checkThatConstMethodDoesInvalidateInheritedPointedAtMemory()
88 clang_analyzer_eval(t.p == &x); // expected-warning{{TRUE}} in checkThatConstMethodDoesInvalidateInheritedPointedAtMemory()
93 Outer t; in checkThatConstMethodDoesInvalidateContainedPointedAtMemory() local
94 t.x = 2; in checkThatConstMethodDoesInvalidateContainedPointedAtMemory()
95 t.in.p = &x; in checkThatConstMethodDoesInvalidateContainedPointedAtMemory()
96 t.foo(); in checkThatConstMethodDoesInvalidateContainedPointedAtMemory()
98 clang_analyzer_eval(t.x == 2); // expected-warning{{TRUE}} in checkThatConstMethodDoesInvalidateContainedPointedAtMemory()
99 clang_analyzer_eval(t.in.p == &x); // expected-warning{{TRUE}} in checkThatConstMethodDoesInvalidateContainedPointedAtMemory()
103 Outer t; in checkThatContainedConstMethodDoesNotInvalidateObjects() local
104 t.x = 1; in checkThatContainedConstMethodDoesNotInvalidateObjects()
105 t.in.x = 2; in checkThatContainedConstMethodDoesNotInvalidateObjects()
106 t.in.bar(); in checkThatContainedConstMethodDoesNotInvalidateObjects()
107 clang_analyzer_eval(t.x == 1); // expected-warning{{TRUE}} in checkThatContainedConstMethodDoesNotInvalidateObjects()
108 clang_analyzer_eval(t.in.x == 2); // expected-warning{{TRUE}} in checkThatContainedConstMethodDoesNotInvalidateObjects()
140 D1 t; in checkThatInheritedConstMethodDoesNotInvalidateObject() local
141 t.x = 1; in checkThatInheritedConstMethodDoesNotInvalidateObject()
142 t.foo(); in checkThatInheritedConstMethodDoesNotInvalidateObject()
143 clang_analyzer_eval(t.x == 1); // expected-warning{{TRUE}} in checkThatInheritedConstMethodDoesNotInvalidateObject()
147 D2 t; in checkThatInheritedConstMethodDoesInvalidateMutableFields() local
148 t.mut = 1; in checkThatInheritedConstMethodDoesInvalidateMutableFields()
149 t.foo(); in checkThatInheritedConstMethodDoesInvalidateMutableFields()
150 clang_analyzer_eval(t.mut); // expected-warning{{UNKNOWN}} in checkThatInheritedConstMethodDoesInvalidateMutableFields()
155 D3 t; in checkThatInheritedConstMethodDoesInvalidatePointedAtMemory() local
156 t.p = &x; in checkThatInheritedConstMethodDoesInvalidatePointedAtMemory()
157 t.foo(); in checkThatInheritedConstMethodDoesInvalidatePointedAtMemory()
159 clang_analyzer_eval(t.p == &x); // expected-warning{{TRUE}} in checkThatInheritedConstMethodDoesInvalidatePointedAtMemory()
164 DOuter t; in checkThatInheritedConstMethodDoesInvalidateContainedPointedAtMemory() local
165 t.x = 2; in checkThatInheritedConstMethodDoesInvalidateContainedPointedAtMemory()
166 t.in.x = 3; in checkThatInheritedConstMethodDoesInvalidateContainedPointedAtMemory()
167 t.in.p = &x; in checkThatInheritedConstMethodDoesInvalidateContainedPointedAtMemory()
168 t.foo(); in checkThatInheritedConstMethodDoesInvalidateContainedPointedAtMemory()
170 clang_analyzer_eval(t.x == 2); // expected-warning{{TRUE}} in checkThatInheritedConstMethodDoesInvalidateContainedPointedAtMemory()
171 clang_analyzer_eval(t.in.x == 3); // expected-warning{{TRUE}} in checkThatInheritedConstMethodDoesInvalidateContainedPointedAtMemory()
172 clang_analyzer_eval(t.in.p == &x); // expected-warning{{TRUE}} in checkThatInheritedConstMethodDoesInvalidateContainedPointedAtMemory()
176 DOuter t; in checkThatInheritedContainedConstMethodDoesNotInvalidateObjects() local
177 t.x = 1; in checkThatInheritedContainedConstMethodDoesNotInvalidateObjects()
178 t.in.x = 2; in checkThatInheritedContainedConstMethodDoesNotInvalidateObjects()
179 t.in.foo(); in checkThatInheritedContainedConstMethodDoesNotInvalidateObjects()
180 clang_analyzer_eval(t.x == 1); // expected-warning{{TRUE}} in checkThatInheritedContainedConstMethodDoesNotInvalidateObjects()
181 clang_analyzer_eval(t.in.x == 2); // expected-warning{{TRUE}} in checkThatInheritedContainedConstMethodDoesNotInvalidateObjects()
243 Outer2 t; in checkThatConstMethodCallDoesInvalidateObjectForCircularReferences() local
244 t.x = 1; in checkThatConstMethodCallDoesInvalidateObjectForCircularReferences()
245 t.in.ref = &t; in checkThatConstMethodCallDoesInvalidateObjectForCircularReferences()
246 t.foo(); in checkThatConstMethodCallDoesInvalidateObjectForCircularReferences()
248 clang_analyzer_eval(t.x); // expected-warning{{TRUE}} in checkThatConstMethodCallDoesInvalidateObjectForCircularReferences()