This revision was automatically updated to reflect the committed changes.
Closed by commit rC331563: [analyzer] Invalidate union regions properly.
Don't hesitate to load later. (authored by dergachev, committed by ).
Herald added a subscriber: baloghadamsoftware.
Repository:
rC Clang
https://r
a.sidorin accepted this revision.
a.sidorin added a comment.
This revision is now accepted and ready to land.
LGTM, thanks!
Repository:
rC Clang
https://reviews.llvm.org/D45241
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.
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
NoQ created this revision.
NoQ added reviewers: dcoughlin, xazax.hun, a.sidorin, george.karpenkov, szepet.
Herald added subscribers: cfe-commits, rnkovacs.
(1) We weren't invalidating our unions correctly. The previous behavior in
`invalidateRegionsWorker::VisitCluster()` was to //direct//-bind a