[PATCH] D67079: [analyzer] CastValueChecker: Model inheritance

Kristóf Umann via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Tue Sep 3 14:12:16 PDT 2019


Szelethus added inline comments.


================
Comment at: clang/lib/StaticAnalyzer/Core/DynamicType.cpp:42
+  return MR->StripCasts();
+}
+
----------------
NoQ wrote:
> Charusso wrote:
> > Probably a consistent way of `MemRegion` handling is more appropriate.
> Pointer casts are quite a can of worms. I suggest ignoring it for now and dealing with it as needed. I.e., your code looks good... for now.
> 
> 
//*cries in pointer chasing*//


Repository:
  rC Clang

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D67079/new/

https://reviews.llvm.org/D67079





More information about the cfe-commits mailing list