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)