martong marked an inline comment as done.
martong added inline comments.
================
Comment at: clang/test/Analysis/ctu-main.cpp:112
+ // We cannot decide about the dynamic type.
+ clang_analyzer_eval(obj->fvcl(1) == 8); // expected-warning{{FALSE}}
expected-warning{{TRUE}}
+ clang_analyzer_eval(obj->fvcl(1) == 9); // expected-warning{{FALSE}}
expected-warning{{TRUE}}
----------------
In case you wonder why we don't use expected-warning{{UNKNOWN}} then please
refer to this non-ctu bug report about virtual functions:
https://bugs.llvm.org/show_bug.cgi?id=42423
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D63920/new/
https://reviews.llvm.org/D63920
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
