[PATCH] D45416: [analyzer] ExprEngine: model GCC inline asm rvalue cast outputs
George Karpenkov via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon Apr 9 11:05:58 PDT 2018
george.karpenkov requested changes to this revision.
george.karpenkov added inline comments.
This revision now requires changes to proceed.
================
Comment at: lib/StaticAnalyzer/Core/ExprEngine.cpp:3082
+ if (X.isUnknown()) {
+ // The value being casted to rvalue can be garbage-collected after
+ // the cast is modeled. Try to recover the memory region being casted
----------------
>From my understanding, the code inside the if-block is not tested below
Repository:
rC Clang
https://reviews.llvm.org/D45416
More information about the cfe-commits
mailing list