Lines Matching refs:testObj

62   Circle *testObj = calloc(sizeof(Circle), 1);
64   clang_analyzer_eval(testObj->size == 0); // expected-warning{{TRUE}}
66   testObj->origin = makePoint(0.0, 0.0);
67   if (testObj->size > 0) { ; } // warning occurs here
69   // FIXME: Assigning to 'testObj->origin' kills the default binding for the
70   // whole region, meaning that we've forgotten that testObj->size should also
73   clang_analyzer_eval(testObj->size == 0); // expected-warning{{UNKNOWN}}
75   free(testObj);
78 void PR14765_argument(Circle *testObj) {
79   int oldSize = testObj->size;
80   clang_analyzer_eval(testObj->size == oldSize); // expected-warning{{TRUE}}
82   testObj->origin = makePoint(0.0, 0.0);
83   clang_analyzer_eval(testObj->size == oldSize); // expected-warning{{TRUE}}
106   IntCircle *testObj = calloc(sizeof(IntCircle), 1);
108   clang_analyzer_eval(testObj->size == 0); // expected-warning{{TRUE}}
109   clang_analyzer_eval(testObj->origin.x == 0); // expected-warning{{TRUE}}
110   clang_analyzer_eval(testObj->origin.y == 0); // expected-warning{{TRUE}}
111   clang_analyzer_eval(testObj->origin.z == 0); // expected-warning{{TRUE}}
113   testObj->origin = makeIntPoint(1, 2);
114   if (testObj->size > 0) { ; } // warning occurs here
116   // FIXME: Assigning to 'testObj->origin' kills the default binding for the
117   // whole region, meaning that we've forgotten that testObj->size should also
120   clang_analyzer_eval(testObj->size == 0); // expected-warning{{UNKNOWN}}
121   clang_analyzer_eval(testObj->origin.x == 1); // expected-warning{{TRUE}}
122   clang_analyzer_eval(testObj->origin.y == 2); // expected-warning{{TRUE}}
123   clang_analyzer_eval(testObj->origin.z == 0); // expected-warning{{TRUE}}
125   free(testObj);
128 void PR14765_argument_int(IntCircle *testObj) {
129   int oldSize = testObj->size;
130   clang_analyzer_eval(testObj->size == oldSize); // expected-warning{{TRUE}}
132   testObj->origin = makeIntPoint(1, 2);
133   clang_analyzer_eval(testObj->size == oldSize); // expected-warning{{TRUE}}
134   clang_analyzer_eval(testObj->origin.x == 1); // expected-warning{{TRUE}}
135   clang_analyzer_eval(testObj->origin.y == 2); // expected-warning{{TRUE}}
136   clang_analyzer_eval(testObj->origin.z == 0); // expected-warning{{TRUE}}
189   IntCircle2D *testObj = calloc(sizeof(IntCircle2D), 1);
191   clang_analyzer_eval(testObj->size == 0); // expected-warning{{TRUE}}
192   clang_analyzer_eval(testObj->origin.x == 0); // expected-warning{{TRUE}}
193   clang_analyzer_eval(testObj->origin.y == 0); // expected-warning{{TRUE}}
195   testObj->origin = makeIntPoint2D(1, 2);
196   if (testObj->size > 0) { ; } // warning occurs here
198   clang_analyzer_eval(testObj->size == 0); // expected-warning{{TRUE}}
199   clang_analyzer_eval(testObj->origin.x == 1); // expected-warning{{TRUE}}
200   clang_analyzer_eval(testObj->origin.y == 2); // expected-warning{{TRUE}}
202   free(testObj);
205 void testCopySmallStructIntoArgument(IntCircle2D *testObj) {
206   int oldSize = testObj->size;
207   clang_analyzer_eval(testObj->size == oldSize); // expected-warning{{TRUE}}
209   testObj->origin = makeIntPoint2D(1, 2);
210   clang_analyzer_eval(testObj->size == oldSize); // expected-warning{{TRUE}}
211   clang_analyzer_eval(testObj->origin.x == 1); // expected-warning{{TRUE}}
212   clang_analyzer_eval(testObj->origin.y == 2); // expected-warning{{TRUE}}