[PATCH] D45241: [analyzer] Invalidate union regions properly. Don't hesitate to load the default binding later.
Artem Dergachev via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Tue Apr 3 19:17:21 PDT 2018
NoQ added inline comments.
================
Comment at: test/Analysis/unions.cpp:82
uu = vv;
- // FIXME: Should be true.
- clang_analyzer_eval(uu.i == 5); // expected-warning{{UNKNOWN}}
+ clang_analyzer_eval(uu.i == 5); // expected-warning{{TRUE}}
}
----------------
This test got fixed because we're now loading the default-bound lazy compound value for `vv` from `uu` correctly.
Repository:
rC Clang
https://reviews.llvm.org/D45241
More information about the cfe-commits
mailing list