C++ (Cpp) getConstrainedField Examples

Example #1

File: array-struct-region.cpp Project: Abocer/android-4.2_r1

void testArgument() {
  clang_analyzer_eval(getConstrainedField(getS()) == 42); // expected-warning{{TRUE}}
#if __cplusplus
  // FIXME: Passing the struct by value seems to be confusing C++.
  // Possibly related to <rdar://problem/12137950>.
  // expected-warning@-4{{UNKNOWN}}
#endif

  clang_analyzer_eval(getAssignedField(getS()) == 42); // expected-warning{{TRUE}}
}

Example #2

void testArgument() {
  clang_analyzer_eval(getConstrainedField(getS()) == 42); // expected-warning{{TRUE}}
  clang_analyzer_eval(getAssignedField(getS()) == 42); // expected-warning{{TRUE}}
}