[PATCH] D125749: [analyzer][NFC] Introduce SVal::isa<Ts...>

Gábor Horváth via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Tue May 17 10:02:07 PDT 2022


xazax.hun added inline comments.


================
Comment at: clang/lib/StaticAnalyzer/Checkers/ObjCAtSyncChecker.cpp:44
   // Uninitialized value used for the mutex?
-  if (V.getAs<UndefinedVal>()) {
+  if (V.isa<UndefinedVal>()) {
     if (ExplodedNode *N = C.generateErrorNode()) {
----------------
Is there a difference between `isa<UndefinedVal>` vs `IsUndef`? I think we should standardize on one of them (or potentially remove `IsUndef` and the like?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D125749



More information about the cfe-commits mailing list