clang 22.0.0git
TaggedUnionModeling.h File Reference

Go to the source code of this file.

Namespaces

namespace  clang
 The JSON file list parser is used to communicate input to InstallAPI.
namespace  clang::ento
namespace  clang::ento::tagged_union_modeling

Functions

bool clang::ento::tagged_union_modeling::isCopyConstructorCall (const CallEvent &Call)
bool clang::ento::tagged_union_modeling::isCopyAssignmentCall (const CallEvent &Call)
bool clang::ento::tagged_union_modeling::isMoveAssignmentCall (const CallEvent &Call)
bool clang::ento::tagged_union_modeling::isMoveConstructorCall (const CallEvent &Call)
bool clang::ento::tagged_union_modeling::isStdType (const Type *Type, const std::string &TypeName)
bool clang::ento::tagged_union_modeling::isStdVariant (const Type *Type)
template<class TypeMap>
ProgramStateRef clang::ento::tagged_union_modeling::removeInformationStoredForDeadInstances (const CallEvent &Call, ProgramStateRef State, ArrayRef< const MemRegion * > Regions)
template<class TypeMap>
void clang::ento::tagged_union_modeling::handleConstructorAndAssignment (const CallEvent &Call, CheckerContext &C, SVal ThisSVal)