Inheritance diagram for VariableGroupsManagerImpl:

Public Member Functions
	VariableGroupsManagerImpl (const std::vector< VarGrpTy > &Groups, const std::map< const VarDecl , unsigned > &VarGrpMap, const llvm::SetVector< const VarDecl > &GrpsUnionForParms)

VarGrpRef	getGroupOfVar (const VarDecl Var, bool HasParm) const override
	Returns the set of variables (including `Var`) that need to be fixed together in one step.

VarGrpRef	getGroupOfParms () const override
	Returns the non-empty group of variables that include parameters of the analyzing function, if such a group exists.

Public Member Functions inherited from clang::VariableGroupsManager
	VariableGroupsManager ()=default

virtual	~VariableGroupsManager ()=default

virtual VarGrpRef	getGroupOfVar (const VarDecl Var, bool HasParm=nullptr) const =0
	Returns the set of variables (including `Var`) that need to be fixed together in one step.

virtual VarGrpRef	getGroupOfParms () const =0
	Returns the non-empty group of variables that include parameters of the analyzing function, if such a group exists.

Detailed Description

Definition at line 2939 of file UnsafeBufferUsage.cpp.

Constructor & Destructor Documentation

◆ VariableGroupsManagerImpl()

VariableGroupsManagerImpl::VariableGroupsManagerImpl	(	const std::vector< VarGrpTy > &	Groups,
		const std::map< const VarDecl *, unsigned > &	VarGrpMap,
		const llvm::SetVector< const VarDecl * > &	GrpsUnionForParms
	)

inline

Definition at line 2945 of file UnsafeBufferUsage.cpp.

Member Function Documentation

◆ getGroupOfParms()

VarGrpRef VariableGroupsManagerImpl::getGroupOfParms ( ) const

inlineoverridevirtual

Returns the non-empty group of variables that include parameters of the analyzing function, if such a group exists.

An empty group, otherwise.

Implements clang::VariableGroupsManager.

Definition at line 2968 of file UnsafeBufferUsage.cpp.

◆ getGroupOfVar()

VarGrpRef VariableGroupsManagerImpl::getGroupOfVar	(	const VarDecl *	Var,
		bool *	HasParm
	)		const

inlineoverridevirtual

Returns the set of variables (including Var) that need to be fixed together in one step.

Var must be a variable that needs fix (so it must be in a group). HasParm is an optional argument that will be set to true if the set of variables, where Var is in, contains parameters.