clang 20.0.0git
Namespaces | Functions
TaggedUnionModeling.h File Reference
#include "clang/StaticAnalyzer/Checkers/BuiltinCheckerRegistration.h"
#include "clang/StaticAnalyzer/Core/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/Core/Checker.h"
#include "clang/StaticAnalyzer/Core/CheckerManager.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
#include "llvm/ADT/FoldingSet.h"
#include <numeric>

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)