StdVariantChecker.cpp File Reference

#include "clang/AST/Type.h"
#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/CallDescription.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SVals.h"
#include "llvm/ADT/FoldingSet.h"
#include "llvm/ADT/StringRef.h"
#include <optional>
#include "TaggedUnionModeling.h"

Go to the source code of this file.

Classes
class	StdVariantChecker

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
static const CXXConstructorDecl *	clang::ento::tagged_union_modeling::getConstructorDeclarationForCall (const CallEvent &Call)
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::isMoveConstructorCall (const CallEvent &Call)
bool	clang::ento::tagged_union_modeling::isMoveAssignmentCall (const CallEvent &Call)
static bool	clang::ento::tagged_union_modeling::isStdType (const Type *Type, llvm::StringRef TypeName)
bool	clang::ento::tagged_union_modeling::isStdVariant (const Type *Type)
static std::optional< ArrayRef< TemplateArgument > >	getTemplateArgsFromVariant (const Type *VariantType)
static std::optional< QualType >	getNthTemplateTypeArgFromVariant (const Type *varType, unsigned i)
static bool	isVowel (char a)
static llvm::StringRef	indefiniteArticleBasedOnVowel (char a)

Function Documentation

getNthTemplateTypeArgFromVariant()

std::optional< QualType > getNthTemplateTypeArgFromVariant ( const Type * varType, unsigned i )

static

Definition at line 103 of file StdVariantChecker.cpp.

References getTemplateArgsFromVariant().

getTemplateArgsFromVariant()

std::optional< ArrayRef< TemplateArgument > > getTemplateArgsFromVariant ( const Type * VariantType )

static

Definition at line 91 of file StdVariantChecker.cpp.

References clang::Type::getAs().

Referenced by getNthTemplateTypeArgFromVariant().

indefiniteArticleBasedOnVowel()

llvm::StringRef indefiniteArticleBasedOnVowel ( char a )

static

Definition at line 125 of file StdVariantChecker.cpp.

References isVowel().

isVowel()

bool isVowel ( char a )

static

Definition at line 112 of file StdVariantChecker.cpp.

Referenced by indefiniteArticleBasedOnVowel().