[PATCH] D70805: [analyzer] SValHasDescendant: Determine whether the SVal has an SVal descendant

Artem Dergachev via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Tue Dec 10 16:36:56 PST 2019


NoQ added inline comments.


================
Comment at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/SValHasDescendant.h:55
+  bool VisitSymbolRegionValue(const SymbolRegionValue *S) {
+    return Visit(S->getRegion());
+  }
----------------
Arithmetic is indeed easy, but for example this part requires a much deeper justification.


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

https://reviews.llvm.org/D70805





More information about the cfe-commits mailing list