This revision was automatically updated to reflect the committed changes.
Closed by commit rGd646157146cc: [analyzer] Fix assertion failure on code with
transparent unions (authored by vsavchenko).
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
NoQ accepted this revision.
NoQ added a comment.
This revision is now accepted and ready to land.
Thanks again!~
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D104716/new/
https://reviews.llvm.org/D104716
vsavchenko updated this revision to Diff 354481.
vsavchenko marked 2 inline comments as done.
vsavchenko added a comment.
Remove printState from the test
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D104716/new/
https://reviews.llvm.org/D104716
vsavchenko updated this revision to Diff 354480.
vsavchenko added a comment.
Use argument expression's type instead of SVal's type
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D104716/new/
https://reviews.llvm.org/D104716
Files:
NoQ added a comment.
Thx a lot for the fix!
Comment at: clang/lib/StaticAnalyzer/Core/CallEvent.cpp:482-483
+// them with parameters. This function incapsulates such cases.
+static SVal process(SVal Value, const ParmVarDecl *Parameter,
+SValBuilder ) {
+
vsavchenko created this revision.
vsavchenko added reviewers: NoQ, xazax.hun, martong, steakhal, Szelethus,
ASDenysPetrov, manas, RedDocMD.
Herald added subscribers: dkrupp, donat.nagy, mikhail.ramalho, a.sidorin,
rnkovacs, szepet, baloghadamsoftware.
vsavchenko requested review of this