isuckatcs added inline comments.
Herald added subscribers: steakhal, manas, ASDenysPetrov, martong, dkrupp,
donat.nagy, Szelethus, mikhail.ramalho.
Herald added a project: All.
Comment at: test/Analysis/casts.c:166
+ *x = 1;
+ clang_analyzer_eval(u == 1); // expected-warning{{
This revision was not accepted when it landed; it landed in state "Needs
Review".
This revision was automatically updated to reflect the committed changes.
Closed by commit rC331562: [analyzer] pr36458: Fix retrieved value cast for
symbolic void pointers. (authored by dergachev, committed by ).
NoQ updated this revision to Diff 145260.
NoQ added a comment.
Fix test names. Add one more test, just to make sure it works.
https://reviews.llvm.org/D46415
Files:
lib/StaticAnalyzer/Core/Store.cpp
test/Analysis/casts.c
Index: test/Analysis/casts.c
===
NoQ created this revision.
NoQ added reviewers: dcoughlin, xazax.hun, a.sidorin, george.karpenkov, szepet,
rnkovacs.
Herald added subscribers: cfe-commits, baloghadamsoftware.
Through C cast magic it's possible to put a raw void pointer into a variable of
non-void pointer type. It is fine - gene