[PATCH] D126801: [analyzer][NFC] Add partial specializations for ProgramStateTraits

Gabor Marton via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu Jun 2 02:04:01 PDT 2022


martong added a comment.

Nice!



================
Comment at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h:287
 
-  // Partial specialization for void*.
-  template <> struct ProgramStatePartialTrait<void *> {
-    using data_type = void *;
+  // Partial specialization for enums.
+  template <typename T>
----------------
How is it different than the partial specialization for integral types? Could we have the 2 contracted?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D126801



More information about the cfe-commits mailing list