Searched defs:getNum (Results 1 - 1 of 1) sorted by relevance

/external/clang/test/Analysis/
H A Dinline.cpp20 virtual int getNum() { return 0; } function in class:A
25 clang_analyzer_eval(a.getNum() == 0); // expected-warning{{UNKNOWN}}
29 clang_analyzer_eval(copy.getNum() == 0); // expected-warning{{TRUE}}
35 virtual int getNum() { return 1; } function in class:One
55 clang_analyzer_eval(ptr->getNum() == x); // expected-warning {{TRUE}}
396 clang_analyzer_eval(object->getNum() == 1); // expected-warning{{UNKNOWN}}
397 clang_analyzer_eval(object->One::getNum() == 1); // expected-warning{{TRUE}}
398 clang_analyzer_eval(object->A::getNum() == 0); // expected-warning{{TRUE}}

Completed in 67 milliseconds