[analyzer][NFC] Add partial specializations for ProgramStateTraits
authorBalazs Benics <balazs.benics@sigmatechnology.se>
Thu, 2 Jun 2022 17:46:38 +0000 (19:46 +0200)
committerBalazs Benics <balazs.benics@sigmatechnology.se>
Thu, 2 Jun 2022 17:46:38 +0000 (19:46 +0200)
commit33ca5a447e7f0f9778f5adc96e24a1ef4a899213
treef3dff56acc202561f06aa923bc872091d9437bcb
parent7b291b6f5095bff1ef33e806aaea58f5b3156ce8
[analyzer][NFC] Add partial specializations for ProgramStateTraits

I'm also hoisting common code from the existing specializations into a
common trait impl to reduce code duplication.

Reviewed By: martong

Differential Revision: https://reviews.llvm.org/D126801
clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h
clang/lib/StaticAnalyzer/Checkers/cert/InvalidPtrChecker.cpp