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

  rC Clang

cfe-commits mailing list

Reply via email to