#include "checkclass.h"
#include "astutils.h"
#include "library.h"
#include "settings.h"
#include "standards.h"
#include "symboldatabase.h"
#include "errorlogger.h"
#include "errortypes.h"
#include "platform.h"
#include "token.h"
#include "tokenize.h"
#include "tokenlist.h"
#include "utils.h"
#include "valueflow.h"
#include <algorithm>
#include <cctype>
#include <cstring>
#include <iterator>
#include <utility>
#include <unordered_map>
#include "xml.h"

Namespaces
	CTU
	Whole program analysis (ctu=Cross Translation Unit)

Enumerations
enum class	CtorType { NO , WITHOUT_BODY , WITH_BODY }

Functions
static const char *	getFunctionTypeName (Function::Type type)

static bool	isVariableCopyNeeded (const Variable &var, Function::Type type)

static bool	isVclTypeInit (const Type *type)

static bool	hasNonCopyableBase (const Scope scope, bool unknown)

static std::string	noMemberErrorMessage (const Scope *scope, const char function[], bool isdefault)

static void	getAllVariableMembers (const Scope scope, std::vector< const Variable > &varList)

static bool	checkFunctionUsage (const Function privfunc, const Scope scope)

static const Scope *	findFunctionOf (const Scope *scope)

static bool	isTrueKeyword (const Token *tok)

static bool	isFalseKeyword (const Token *tok)

static const Token *	getFuncTokFromThis (const Token *tok)

static std::vector< DuplMemberInfo >	getDuplInheritedMembersRecursive (const Type typeCurrent, const Type typeBase, bool skipPrivate=true)

static std::vector< DuplMemberFuncInfo >	getDuplInheritedMemberFunctionsRecursive (const Type typeCurrent, const Type typeBase, bool skipPrivate=true)

static const Token *	getSingleFunctionCall (const Scope *scope)

static bool	compareTokenRanges (const Token start1, const Token end1, const Token start2, const Token end2)

static const Variable *	getSingleReturnVar (const Scope *scope)

Variables
static const CWE	CWE398 (398U)

static const CWE	CWE404 (404U)

static const CWE	CWE665 (665U)

static const CWE	CWE758 (758U)

static const CWE	CWE762 (762U)

static const CWE	CWE_ONE_DEFINITION_RULE (758U)

Enumeration Type Documentation

◆ CtorType

enum CtorType

strong

Enumerator
NO
WITHOUT_BODY
WITH_BODY

Definition at line 3080 of file checkclass.cpp.

Function Documentation

◆ checkFunctionUsage()

static bool checkFunctionUsage	(	const Function *	privfunc,
		const Scope *	scope
	)

static

Definition at line 1228 of file checkclass.cpp.

References Scope::bodyStart, Type::classScope, Variable::declarationId(), Scope::definedTypesMap, Function::eCopyConstructor, Type::enclosingScope, Function::eOperatorEqual, Token::findmatch(), Token::function(), Scope::functionList, Variable::isStatic(), Token::linkAt(), Token::Match(), Function::name(), Token::next(), Private, Token::str(), Token::tokAt(), and Scope::varlist.

Referenced by CheckClass::privateFunctions().

◆ compareTokenRanges()

static bool compareTokenRanges	(	const Token *	start1,
		const Token *	end1,
		const Token *	start2,
		const Token *	end2
	)

static

Definition at line 3228 of file checkclass.cpp.

References Token::function(), isEqual(), Token::isExpandedMacro(), Token::next(), and Token::str().

Referenced by CheckClass::checkUselessOverride().

◆ findFunctionOf()

static const Scope* findFunctionOf ( const Scope * scope )

static

Definition at line 1343 of file checkclass.cpp.

References Scope::eFunction, Scope::functionOf, Scope::nestedIn, and Scope::type.

Referenced by CheckClass::checkMemset().

◆ getAllVariableMembers()

static void getAllVariableMembers	(	const Scope *	scope,
		std::vector< const Variable * > &	varList
	)

static

Definition at line 634 of file checkclass.cpp.

References Type::classScope, Scope::definedType, Type::derivedFrom, Scope::isClassOrStruct(), Scope::numConstructors, Type::BaseInfo::type, and Scope::varlist.

Referenced by CheckClass::createUsageList().

◆ getDuplInheritedMemberFunctionsRecursive()

static std::vector<DuplMemberFuncInfo> getDuplInheritedMemberFunctionsRecursive	(	const Type *	typeCurrent,
		const Type *	typeBase,
		bool	skipPrivate = `true`
	)