The token list that the TokenList generates is a linked-list of this class. More...

#include <token.h>

Classes
struct	stringifyOptions

Public Types
enum	Type { eVariable , eType , eFunction , eKeyword , eName , eNumber , eString , eChar , eBoolean , eLiteral , eEnumerator , eArithmeticalOp , eComparisonOp , eAssignmentOp , eLogicalOp , eBitOp , eIncDecOp , eExtendedOp , eBracket , eLambda , eEllipsis , eOther , eNone }

Public Member Functions
	Token (const Token &)=delete

Token &	operator= (const Token &)=delete

	Token (TokensFrontBack &tokensFrontBack)

	Token (const Token *tok)

	~Token ()

ConstTokenRange	until (const Token *t) const

template<typename T >
void	str (T &&s)

void	concatStr (std::string const &b)
	Concatenate two (quoted) strings. More...

const std::string &	str () const

void	deleteNext (nonneg int count=1)
	Unlink and delete the next 'count' tokens. More...

void	deletePrevious (nonneg int count=1)
	Unlink and delete the previous 'count' tokens. More...

void	swapWithNext ()
	Swap the contents of this token with the next token. More...

const Token *	tokAt (int index) const

Token *	tokAt (int index)

const Token *	linkAt (int index) const

Token *	linkAt (int index)

const std::string &	strAt (int index) const

const ValueType *	valueType () const

void	setValueType (ValueType *vt)

const ValueType *	argumentType () const

Token::Type	tokType () const

void	tokType (Token::Type t)

bool	isKeyword () const

bool	isName () const

bool	isNameOnly () const

bool	isUpperCaseName () const

bool	isLiteral () const

bool	isNumber () const

bool	isEnumerator () const

bool	isVariable () const

bool	isOp () const

bool	isConstOp () const

bool	isExtendedOp () const

bool	isArithmeticalOp () const

bool	isComparisonOp () const

bool	isAssignmentOp () const

bool	isBoolean () const

bool	isIncDecOp () const

bool	isBinaryOp () const

bool	isUnaryOp (const std::string &s) const

bool	isUnaryPreOp () const

uint64_t	flags () const

void	flags (const uint64_t flags_)

bool	isUnsigned () const

void	isUnsigned (const bool sign)

bool	isSigned () const

void	isSigned (const bool sign)

bool	isPointerCompare () const

void	isPointerCompare (const bool b)

bool	isLong () const

void	isLong (bool size)

bool	isStandardType () const

void	isStandardType (const bool b)

bool	isExpandedMacro () const

bool	isCast () const

void	isCast (bool c)

bool	isAttributeConstructor () const

void	isAttributeConstructor (const bool ac)

bool	isAttributeDestructor () const

void	isAttributeDestructor (const bool value)

bool	isAttributeUnused () const

void	isAttributeUnused (bool unused)

bool	isAttributeUsed () const

void	isAttributeUsed (const bool unused)

bool	isAttributePure () const

void	isAttributePure (const bool value)

bool	isAttributeConst () const

void	isAttributeConst (bool value)

bool	isAttributeNoreturn () const

void	isAttributeNoreturn (const bool value)

bool	isAttributeNothrow () const

void	isAttributeNothrow (const bool value)

bool	isAttributeExport () const

void	isAttributeExport (const bool value)

bool	isAttributePacked () const

void	isAttributePacked (const bool value)

bool	isAttributeNodiscard () const

void	isAttributeNodiscard (const bool value)

bool	isAttributeMaybeUnused () const

void	isAttributeMaybeUnused (const bool value)

void	setCppcheckAttribute (TokenImpl::CppcheckAttributes::Type type, MathLib::bigint value)

bool	getCppcheckAttribute (TokenImpl::CppcheckAttributes::Type type, MathLib::bigint &value) const

bool	hasCppcheckAttributes () const

bool	isControlFlowKeyword () const

bool	isOperatorKeyword () const

void	isOperatorKeyword (const bool value)

bool	isComplex () const

void	isComplex (const bool value)

bool	isEnumType () const

void	isEnumType (const bool value)

bool	isAtAddress () const

void	isAtAddress (bool b)

bool	isIncompleteVar () const

void	isIncompleteVar (bool b)

bool	isSimplifiedTypedef () const

void	isSimplifiedTypedef (bool b)

bool	isIncompleteConstant () const

void	isIncompleteConstant (bool b)

bool	isConstexpr () const

void	isConstexpr (bool b)

bool	isExternC () const

void	isExternC (bool b)

bool	isSplittedVarDeclComma () const

void	isSplittedVarDeclComma (bool b)

bool	isSplittedVarDeclEq () const

void	isSplittedVarDeclEq (bool b)

bool	isImplicitInt () const

void	isImplicitInt (bool b)

bool	isInline () const

void	isInline (bool b)

bool	isAtomic () const

void	isAtomic (bool b)

bool	isRestrict () const

void	isRestrict (bool b)

bool	isRemovedVoidParameter () const

void	setRemovedVoidParameter (bool b)

bool	isTemplate () const

void	isTemplate (bool b)

bool	isSimplifiedScope () const

void	isSimplifiedScope (bool b)

bool	isFinalType () const

void	isFinalType (bool b)

bool	isInitComma () const

void	isInitComma (bool b)

bool	isBitfield () const

unsigned char	bits () const

const std::set< TemplateSimplifier::TokenAndName * > *	templateSimplifierPointers () const

std::set< TemplateSimplifier::TokenAndName * > *	templateSimplifierPointers ()

void	templateSimplifierPointer (TemplateSimplifier::TokenAndName *tokenAndName)

void	setBits (const unsigned char b)

bool	isUtf8 () const

bool	isUtf16 () const

bool	isUtf32 () const

bool	isCChar () const

bool	isCMultiChar () const

bool	isTemplateArg () const
	Is current token a template argument? More...

void	isTemplateArg (const bool value)

std::string	getMacroName () const

void	setMacroName (std::string name)

nonneg int	fileIndex () const

void	fileIndex (nonneg int indexOfFile)

nonneg int	linenr () const

void	linenr (nonneg int lineNumber)

nonneg int	column () const

void	column (nonneg int c)

Token *	next ()

const Token *	next () const

Token *	insertToken (const std::string &tokenStr, const std::string &originalNameStr=emptyString, const std::string &macroNameStr=emptyString, bool prepend=false)
	Insert new token after this token. More...

Token *	insertTokenBefore (const std::string &tokenStr, const std::string &originalNameStr=emptyString, const std::string &macroNameStr=emptyString)

Token *	previous ()

const Token *	previous () const

nonneg int	varId () const

void	varId (nonneg int id)

nonneg int	exprId () const

void	exprId (nonneg int id)

void	setUniqueExprId ()

bool	isUniqueExprId () const

void	printOut (const char *title=nullptr) const
	For debugging purposes, prints token and all tokens followed by it. More...

void	printOut (const char *title, const std::vector< std::string > &fileNames) const
	For debugging purposes, prints token and all tokens followed by it. More...

void	printLines (int lines=5) const
	print out tokens - used for debugging More...

std::string	stringify (const stringifyOptions &options) const

std::string	stringify (bool varid, bool attributes, bool macro) const
	Stringify a token. More...

std::string	stringifyList (const stringifyOptions &options, const std::vector< std::string > fileNames=nullptr, const Token end=nullptr) const

std::string	stringifyList (const Token *end, bool attributes=true) const

std::string	stringifyList (bool varid=false) const

std::string	stringifyList (bool varid, bool attributes, bool linenumbers, bool linebreaks, bool files, const std::vector< std::string > fileNames=nullptr, const Token end=nullptr) const
	Stringify a list of token, from current instance on. More...

void	deleteThis ()
	Remove the contents for this token from the token list. More...

void	link (Token *linkToToken)
	Create link to given token. More...

const Token *	link () const
	Return token where this token links to. More...

Token *	link ()

void	scope (const Scope *s)
	Associate this token with given scope. More...

const Scope *	scope () const

void	function (const Function *f)
	Associate this token with given function. More...

const Function *	function () const

void	variable (const Variable *v)
	Associate this token with given variable. More...

const Variable *	variable () const

void	type (const ::Type *t)
	Associate this token with given type. More...

const ::Type *	type () const

const Enumerator *	enumerator () const

void	enumerator (const Enumerator *e)
	Associate this token with given enumerator. More...

std::string	strValue () const
	This can be called only for tokens that are strings, else the assert() is called. More...

nonneg int	progressValue () const
	Get progressValue (0 - 100) More...

const Token *	nextArgument () const

Token *	nextArgument ()

const Token *	nextArgumentBeforeCreateLinks2 () const

const Token *	nextTemplateArgument () const

const Token *	findClosingBracket () const
	Returns the closing bracket of opening '<'. More...

Token *	findClosingBracket ()

const Token *	findOpeningBracket () const

Token *	findOpeningBracket ()

const std::string &	originalName () const

const std::list< ValueFlow::Value > &	values () const

template<typename T >
void	originalName (T &&name)
	Sets the original name. More...

bool	hasKnownIntValue () const

bool	hasKnownValue () const

bool	hasKnownValue (ValueFlow::Value::ValueType t) const

bool	hasKnownSymbolicValue (const Token *tok) const

const ValueFlow::Value *	getKnownValue (ValueFlow::Value::ValueType t) const

MathLib::bigint	getKnownIntValue () const

const ValueFlow::Value *	getValue (const MathLib::bigint val) const

const ValueFlow::Value *	getMaxValue (bool condition, MathLib::bigint path=0) const

const ValueFlow::Value *	getMinValue (bool condition, MathLib::bigint path=0) const

const ValueFlow::Value *	getMovedValue () const

const ValueFlow::Value *	getValueLE (const MathLib::bigint val, const Settings &settings) const

const ValueFlow::Value *	getValueGE (const MathLib::bigint val, const Settings &settings) const

const ValueFlow::Value *	getInvalidValue (const Token *ftok, nonneg int argnr, const Settings &settings) const

const ValueFlow::Value *	getContainerSizeValue (const MathLib::bigint val) const

const Token *	getValueTokenMaxStrLength () const

const Token *	getValueTokenMinStrSize (const Settings &settings, MathLib::bigint *path=nullptr) const

bool	addValue (const ValueFlow::Value &value)
	Add token value. More...

void	removeValues (std::function< bool(const ValueFlow::Value &)> pred)

nonneg int	index () const

void	assignIndexes ()

void	astOperand1 (Token *tok)

void	astOperand2 (Token *tok)

void	astParent (Token *tok)

Token *	astOperand1 ()

const Token *	astOperand1 () const

Token *	astOperand2 ()

const Token *	astOperand2 () const

Token *	astParent ()

const Token *	astParent () const

Token *	astSibling ()

const Token *	astSibling () const

Token *	astTop ()

const Token *	astTop () const

std::pair< const Token , const Token >	findExpressionStartEndTokens () const

bool	isCalculation () const
	Is current token a calculation? Only true for operands. More...

void	clearValueFlow ()

std::string	astString (const char *sep="") const

std::string	astStringVerbose () const

std::string	astStringZ3 () const

std::string	expressionString () const

void	printAst (bool verbose, bool xml, const std::vector< std::string > &fileNames, std::ostream &out) const

void	printValueFlow (bool xml, std::ostream &out) const

void	scopeInfo (std::shared_ptr< ScopeInfo2 > newScopeInfo)

std::shared_ptr< ScopeInfo2 >	scopeInfo () const

void	setCpp11init (bool cpp11init) const

TokenImpl::Cpp11init	isCpp11init () const

TokenDebug	getTokenDebug () const

void	setTokenDebug (TokenDebug td)

bool	isCpp () const

bool	isC () const

Static Public Member Functions
template<size_t count>
static bool	simpleMatch (const Token *tok, const char(&pattern)[count])
	Match given token (or list of tokens) to a pattern list. More...

static bool	simpleMatch (const Token *tok, const char pattern[], size_t pattern_len)

static bool	Match (const Token *tok, const char pattern[], nonneg int varid=0)
	Match given token (or list of tokens) to a pattern list. More...

static nonneg int	getStrLength (const Token *tok)

static nonneg int	getStrArraySize (const Token *tok)

static nonneg int	getStrSize (const Token *tok, const Settings &settings)

template<size_t count>
static const Token *	findsimplematch (const Token *const startTok, const char(&pattern)[count])

static const Token *	findsimplematch (const Token *const startTok, const char pattern[], size_t pattern_len)

template<size_t count>
static const Token *	findsimplematch (const Token const startTok, const char(&pattern)[count], const Token const end)

static const Token *	findsimplematch (const Token const startTok, const char pattern[], size_t pattern_len, const Token const end)

static const Token *	findmatch (const Token *const startTok, const char pattern[], const nonneg int varId=0)

static const Token *	findmatch (const Token const startTok, const char pattern[], const Token const end, const nonneg int varId=0)

template<size_t count>
static Token *	findsimplematch (Token *const startTok, const char(&pattern)[count])

static Token *	findsimplematch (Token *const startTok, const char pattern[], size_t pattern_len)

template<size_t count>
static Token *	findsimplematch (Token const startTok, const char(&pattern)[count], const Token const end)

static Token *	findsimplematch (Token const startTok, const char pattern[], size_t pattern_len, const Token const end)

static Token *	findmatch (Token *const startTok, const char pattern[], const nonneg int varId=0)

static Token *	findmatch (Token const startTok, const char pattern[], const Token const end, const nonneg int varId=0)

static void	eraseTokens (Token begin, const Token end)
	Delete tokens between begin and end. More...

static void	replace (Token replaceThis, Token start, Token *end)
	Replace token replaceThis with tokens between start and end, including start and end. More...

static const ::Type *	typeOf (const Token tok, const Token *typeTok=nullptr)

static std::pair< const Token , const Token >	typeDecl (const Token *tok, bool pointedToType=false)

static std::string	typeStr (const Token *tok)

static void	createMutualLinks (Token begin, Token end)
	Links two elements against each other. More...

static void	move (Token srcStart, Token srcEnd, Token *newLocation)
	Move srcStart and srcEnd tokens and all tokens between them into new a location. More...

static void	assignProgressValues (Token *tok)
	Calculate progress values for all tokens. More...

Private Types
enum	: uint64_t { fIsUnsigned = (1ULL << 0) , fIsSigned = (1ULL << 1) , fIsPointerCompare = (1ULL << 2) , fIsLong = (1ULL << 3) , fIsStandardType = (1ULL << 4) , fIsCast = (1ULL << 6) , fIsAttributeConstructor = (1ULL << 7) , fIsAttributeDestructor = (1ULL << 8) , fIsAttributeUnused = (1ULL << 9) , fIsAttributePure = (1ULL << 10) , fIsAttributeConst = (1ULL << 11) , fIsAttributeNoreturn = (1ULL << 12) , fIsAttributeNothrow = (1ULL << 13) , fIsAttributeUsed = (1ULL << 14) , fIsAttributePacked = (1ULL << 15) , fIsAttributeExport = (1ULL << 16) , fIsAttributeMaybeUnused = (1ULL << 17) , fIsAttributeNodiscard = (1ULL << 18) , fIsControlFlowKeyword = (1ULL << 19) , fIsOperatorKeyword = (1ULL << 20) , fIsComplex = (1ULL << 21) , fIsEnumType = (1ULL << 22) , fIsName = (1ULL << 23) , fIsLiteral = (1ULL << 24) , fIsTemplateArg = (1ULL << 25) , fAtAddress = (1ULL << 26) , fIncompleteVar = (1ULL << 27) , fConstexpr = (1ULL << 28) , fExternC = (1ULL << 29) , fIsSplitVarDeclComma = (1ULL << 30) , fIsSplitVarDeclEq = (1ULL << 31) , fIsImplicitInt = (1ULL << 32) , fIsInline = (1ULL << 33) , fIsTemplate = (1ULL << 34) , fIsSimplifedScope = (1ULL << 35) , fIsRemovedVoidParameter = (1ULL << 36) , fIsIncompleteConstant = (1ULL << 37) , fIsRestrict = (1ULL << 38) , fIsAtomic = (1ULL << 39) , fIsSimplifiedTypedef = (1ULL << 40) , fIsFinalType = (1ULL << 41) , fIsInitComma = (1ULL << 42) }

enum	: uint64_t { efMaxSize = sizeof(nonneg int) * 8 , efIsUnique = efMaxSize - 2 }

Private Member Functions
void	next (Token *nextToken)

void	previous (Token *previousToken)

void	takeData (Token *fromToken)
	used by deleteThis() to take data from token to delete More...

bool	getFlag (uint64_t flag_) const
	Get specified flag state. More...

void	setFlag (uint64_t flag_, bool state_)
	Set specified flag state. More...

void	update_property_info ()
	Updates internal property cache like _isName or _isBoolean. More...

void	update_property_isStandardType ()
	Update internal property cache about isStandardType() More...

void	update_property_char_string_literal ()
	Update internal property cache about string and char literals. More...

void	astStringVerboseRecursive (std::string &ret, const nonneg int indent1=0, const nonneg int indent2=0) const
	Internal helper function to avoid excessive string allocations. More...

Static Private Member Functions
static int	multiCompare (const Token tok, const char haystack, nonneg int varid)
	Needle is build from multiple alternatives. More...

static bool	firstWordEquals (const char str, const char word)
	Works almost like strcmp() except returns only true or false and if str has empty space ' ' character, that character is handled as if it were '\0'. More...

static const char *	chrInFirstWord (const char *str, char c)
	Works almost like strchr() except if str has empty space ' ' character, that character is handled as if it were '\0'. More...

Private Attributes
TokensFrontBack &	mTokensFrontBack

std::string	mStr

Token *	mNext {}

Token *	mPrevious {}

Token *	mLink {}

Token::Type	mTokType = eNone

uint64_t	mFlags {}

TokenImpl *	mImpl {}

Friends
class	TestToken

Detailed Description

The token list that the TokenList generates is a linked-list of this class.

Tokens are stored as strings. The "if", "while", etc are stored in plain text. The reason the Token class is needed (instead of using the string class) is that some extra functionality is also needed for tokens:

location of the token is stored (fileIndex, linenr, column)
functions for classifying the token (isName, isNumber, isBoolean, isStandardType)

The Token class also has other functions for management of token list, matching tokens, etc.

Definition at line 150 of file token.h.

Member Enumeration Documentation

◆ anonymous enum

anonymous enum : uint64_t

private

Enumerator
fIsUnsigned
fIsSigned
fIsPointerCompare
fIsLong
fIsStandardType
fIsCast
fIsAttributeConstructor
fIsAttributeDestructor
fIsAttributeUnused
fIsAttributePure
fIsAttributeConst
fIsAttributeNoreturn
fIsAttributeNothrow
fIsAttributeUsed
fIsAttributePacked
fIsAttributeExport
fIsAttributeMaybeUnused
fIsAttributeNodiscard
fIsControlFlowKeyword
fIsOperatorKeyword
fIsComplex
fIsEnumType
fIsName
fIsLiteral
fIsTemplateArg
fAtAddress
fIncompleteVar
fConstexpr
fExternC
fIsSplitVarDeclComma
fIsSplitVarDeclEq
fIsImplicitInt
fIsInline
fIsTemplate
fIsSimplifedScope
fIsRemovedVoidParameter
fIsIncompleteConstant
fIsRestrict
fIsAtomic
fIsSimplifiedTypedef
fIsFinalType
fIsInitComma

Definition at line 1285 of file token.h.

◆ anonymous enum

anonymous enum : uint64_t

private

Enumerator
efMaxSize
efIsUnique

Definition at line 1331 of file token.h.

◆ Type

enum Token::Type

Enumerator
eVariable
eType
eFunction
eKeyword
eName
eNumber
eString
eChar
eBoolean
eLiteral
eEnumerator
eArithmeticalOp
eComparisonOp
eAssignmentOp
eLogicalOp
eBitOp
eIncDecOp
eExtendedOp
eBracket
eLambda
eEllipsis
eOther
eNone

Definition at line 160 of file token.h.

Constructor & Destructor Documentation

◆ Token() [1/3]

Token::Token ( const Token & )

delete

Referenced by insertToken().

◆ Token() [2/3]

Token::Token ( TokensFrontBack & tokensFrontBack )

explicit

Definition at line 60 of file token.cpp.

References mImpl.

◆ Token() [3/3]

Token::Token ( const Token * tok )

explicit

Definition at line 66 of file token.cpp.

References fileIndex(), and linenr().

◆ ~Token()

Token::~Token ( )

Definition at line 73 of file token.cpp.

References mImpl.

Member Function Documentation

◆ addValue()

bool Token::addValue ( const ValueFlow::Value & value )

Add token value.

Return true if value is added.

Definition at line 2228 of file token.cpp.

References ValueFlow::Value::isImpossible(), ValueFlow::Value::isInconclusive(), ValueFlow::Value::isIntValue(), ValueFlow::Value::isKnown(), ValueFlow::Value::isLifetimeValue(), ValueFlow::Value::isTokValue(), mImpl, TokenImpl::mValues, TokenImpl::mVarId, removeContradictions(), sameValueType(), str(), ValueFlow::Value::tokvalue, ValueFlow::Value::valueType, and ValueFlow::Value::varId.

Referenced by Tokenizer::arraySizeAfterValueFlow(), and setTokenValue().

◆ argumentType()

const ValueType* Token::argumentType ( ) const

inline

Definition at line 336 of file token.h.

References astParent(), Match(), mImpl, and TokenImpl::mValueType.

Referenced by CheckIO::ArgumentInfo::ArgumentInfo().

◆ assignIndexes()

void Token::assignIndexes ( )

Definition at line 2317 of file token.cpp.

References index(), mImpl, TokenImpl::mIndex, mPrevious, and next().

Referenced by clangimport::parseClangAstDump(), and Tokenizer::simplifyTokenList1().

◆ assignProgressValues()

void Token::assignProgressValues ( Token * tok )

static

Calculate progress values for all tokens.

Definition at line 2307 of file token.cpp.

References next().

Referenced by TokenList::createTokens(), and Tokenizer::simplifyTokenList1().

◆ astOperand1() [1/3]

Token* Token::astOperand1 ( )

inline

Definition at line 1378 of file token.h.

Referenced by astStringZ3(), and isUnaryPreOp().

◆ astOperand1() [2/3]

const Token* Token::astOperand1 ( ) const

inline

Definition at line 1381 of file token.h.

◆ astOperand1() [3/3]

void Token::astOperand1 ( Token * tok )

Definition at line 1456 of file token.cpp.

References astParent(), astTop(), TokenImpl::mAstOperand1, and mImpl.

◆ astOperand2() [1/3]

Token* Token::astOperand2 ( )

inline

Definition at line 1384 of file token.h.

Referenced by astStringZ3(), isCalculation(), and isUnaryPreOp().

◆ astOperand2() [2/3]

const Token* Token::astOperand2 ( ) const

inline

Definition at line 1387 of file token.h.

◆ astOperand2() [3/3]

void Token::astOperand2 ( Token * tok )

Definition at line 1468 of file token.cpp.

References astParent(), astTop(), TokenImpl::mAstOperand2, and mImpl.

◆ astParent() [1/3]

Token* Token::astParent ( )

inline

Definition at line 1390 of file token.h.

Referenced by astParent().

◆ astParent() [2/3]

const Token* Token::astParent ( ) const

inline

Definition at line 1393 of file token.h.

◆ astParent() [3/3]

void Token::astParent ( Token * tok )

Definition at line 1437 of file token.cpp.

References astOperand1(), astOperand2(), astParent(), TokenImpl::mAstOperand1, TokenImpl::mAstOperand2, TokenImpl::mAstParent, and mImpl.

◆ astSibling() [1/2]

Token* Token::astSibling ( )

inline

Definition at line 1396 of file token.h.

References astOperand2().

Referenced by CheckCondition::checkCompareValueOutOfTypeRange(), CheckStl::checkDereferenceInvalidIterator2(), CheckCondition::checkInvalidTestForOverflow(), CheckOther::checkKnownArgument(), if_findCompare(), isOppositeCond(), isUsedAsBool(), isVariableExprHidden(), and ConditionHandler::skipNotAndCasts().

◆ astSibling() [2/2]

const Token* Token::astSibling ( ) const

inline

Definition at line 1406 of file token.h.

References astOperand2().

◆ astString()

std::string Token::astString ( const char * sep = "" ) const

inline

Definition at line 1446 of file token.h.

◆ astStringVerbose()

std::string Token::astStringVerbose ( ) const

Definition at line 1748 of file token.cpp.

References astStringVerboseRecursive().

◆ astStringVerboseRecursive()

void Token::astStringVerboseRecursive	(	std::string &	ret,
		const nonneg int	indent1 = `0`,
		const nonneg int	indent2 = `0`
	)		const

private

Internal helper function to avoid excessive string allocations.

Definition at line 1716 of file token.cpp.

Referenced by astStringVerbose().

◆ astStringZ3()

std::string Token::astStringZ3 ( ) const

Definition at line 1755 of file token.cpp.

References astOperand1(), astOperand2(), astStringZ3(), and str().

Referenced by astStringZ3().

◆ astTop() [1/2]

Token* Token::astTop ( )

inline

◆ astTop() [2/2]

const Token* Token::astTop ( ) const

inline

Definition at line 1423 of file token.h.

References TokenImpl::mAstParent, and mImpl.

◆ bits()

unsigned char Token::bits ( ) const

inline

Definition at line 689 of file token.h.

Referenced by SymbolDatabase::setValueType().

◆ chrInFirstWord()

const char * Token::chrInFirstWord	(	const char *	str,
		char	c
	)

staticprivate

Works almost like strchr() except if str has empty space ' ' character, that character is handled as if it were '\0'.

Definition at line 675 of file token.cpp.

References str().

Referenced by Match().

◆ clearValueFlow()

void Token::clearValueFlow ( )

inline

Definition at line 1441 of file token.h.

Referenced by ValueFlow::setValues().

◆ column() [1/2]

nonneg int Token::column ( ) const

inline

Definition at line 823 of file token.h.

Referenced by TemplateSimplifier::addNamespace(), TokenList::addtoken(), TokenList::createTokens(), Tokenizer::dump(), TemplateSimplifier::expandTemplate(), TokenList::insertTokens(), Tokenizer::simplifyTypedef(), and Tokenizer::simplifyTypedefCpp().

◆ column() [2/2]

void Token::column ( nonneg int c )

inline

Definition at line 826 of file token.h.

◆ concatStr()

void Token::concatStr ( std::string const & b )

Concatenate two (quoted) strings.

Automatically cuts of the last/first character. Example: "hello ""world" -> "hello world". Used by the token simplifier.

Definition at line 212 of file token.cpp.

References getStringLiteral(), isCChar(), isStringLiteral(), mStr, and update_property_info().

Referenced by Tokenizer::combineStringAndCharLiterals().

◆ createMutualLinks()

void Token::createMutualLinks	(	Token *	begin,
		Token *	end
	)

static

Links two elements against each other.

Definition at line 1248 of file token.cpp.

References link().

Referenced by clangimport::AstNode::addTypeTokens(), Tokenizer::createLinks2(), clangimport::AstNode::createScope(), createTokenFromExpression(), Tokenizer::elseif(), TemplateSimplifier::expandTemplate(), TokenList::insertTokens(), linkBrackets(), Tokenizer::simplifyAddBracesPair(), Tokenizer::simplifyIfSwitchForInit(), TemplateSimplifier::simplifyTemplates(), Tokenizer::simplifyTypedefCpp(), Tokenizer::simplifyTypeIntrinsics(), Tokenizer::sizeofAddParentheses(), and TemplateSimplifier::useDefaultArgumentValues().

◆ deleteNext()

void Token::deleteNext ( nonneg int count = 1 )

Unlink and delete the next 'count' tokens.

Definition at line 245 of file token.cpp.

References TokensFrontBack::back, link(), mLink, mNext, mTokensFrontBack, next(), and previous().

◆ deletePrevious()

void Token::deletePrevious ( nonneg int count = 1 )

Unlink and delete the previous 'count' tokens.

Definition at line 265 of file token.cpp.

References TokensFrontBack::front, link(), mLink, mPrevious, mTokensFrontBack, next(), and previous().

Referenced by deleteThis(), TemplateSimplifier::deleteToken(), Tokenizer::simplifyTypedefCpp(), and Tokenizer::simplifyUsing().

◆ deleteThis()

void Token::deleteThis ( )

Remove the contents for this token from the token list.

The contents are replaced with the contents of the next token and the next token is unlinked and deleted from the token list.

So this token will still be valid after the 'deleteThis()'.

Definition at line 329 of file token.cpp.

References deleteNext(), deletePrevious(), link(), mNext, mPrevious, str(), and takeData().

◆ enumerator() [1/2]

const Enumerator* Token::enumerator ( ) const

inline

Returns: a pointer to the Enumerator associated with this token.

Definition at line 1111 of file token.h.

Referenced by clangimport::Data::enumDecl(), isSameConstantValue(), isSameExpression(), clangimport::Data::Decl::ref(), SymbolDatabase::setValueTypeInTokenList(), valueFlowSetConstantValue(), and SymbolDatabase::~SymbolDatabase().

◆ enumerator() [2/2]

void Token::enumerator ( const Enumerator * e )

inline

Associate this token with given enumerator.

Parameters

e	Enumerator to be associated

Definition at line 1119 of file token.h.

◆ eraseTokens()

void Token::eraseTokens	(	Token *	begin,
		const Token *	end
	)

static

Delete tokens between begin and end.

E.g. if begin = 1 and end = 5, tokens 2,3 and 4 would be erased.

Parameters

begin	Tokens after this will be erased.
end	Tokens before this will be erased.

Definition at line 1238 of file token.cpp.

References deleteNext(), and next().

Referenced by Tokenizer::deleteInvalidTypedef(), Tokenizer::removeMacrosInGlobalScope(), Tokenizer::removePragma(), Tokenizer::simplifyFunctionPointers(), Tokenizer::simplifyHeadersAndUnusedTemplates(), Tokenizer::simplifyPointerToStandardType(), Tokenizer::simplifySQL(), TemplateSimplifier::simplifyTemplateArgs(), TemplateSimplifier::simplifyTemplates(), Tokenizer::simplifyTypedefCpp(), and Tokenizer::simplifyUsing().

◆ expressionString()

std::string Token::expressionString ( ) const

Definition at line 1647 of file token.cpp.

References findExpressionStartEndTokens(), and stringFromTokenRange().

Referenced by ConditionHandler::afterCondition(), CheckCondition::alwaysTrueFalseError(), Function::argsMatch(), CheckCondition::assignmentInCondition(), ValueFlow::Value::assumeCondition(), ConditionHandler::beforeCondition(), CheckBufferOverrun::bufferOverflowError(), CheckStl::checkDereferenceInvalidIterator2(), CheckStl::checkFindInsertError(), CheckMemoryLeakNoVar::checkForUnreleasedInputArgument(), CheckUnusedVar::checkFunctionVariableUsage(), CheckOther::checkIncompleteArrayFill(), CheckCondition::checkIncorrectLogicOperator(), CheckStl::checkIteratorPair(), CheckOther::checkKnownArgument(), CheckUninitVar::checkLoopBody(), CheckOther::checkSignOfUnsignedVariable(), CheckString::checkSuspiciousStringCompare(), conditionString(), CheckOther::constStatementError(), CheckStl::dereferenceInvalidIteratorError(), CheckCondition::duplicateConditionalAssignError(), CheckOther::duplicateExpressionError(), ValueFlow::eitherTheConditionIsRedundant(), CheckStl::eraseIteratorOutOfBoundsError(), CheckAutoVariables::errorDanglngLifetime(), followAllReferences(), followVariableExpressionError(), LifetimeStore::fromFunctionArg(), Check::getErrorPath(), CTU::getFileInfo(), getIncompleteNameID(), getLifetimeTokens(), CheckCondition::identicalConditionAfterEarlyExitError(), CheckCondition::identicalInnerConditionError(), ValueFlow::Value::infoString(), CheckType::integerOverflowError(), CheckStl::invalidContainerReferenceError(), CheckCondition::invalidTestForOverflow(), CheckOther::knownArgumentError(), CheckStl::knownEmptyContainerError(), CheckOther::knownPointerToBoolError(), makeConditionValue(), CheckFunctions::memsetInvalid2ndParam(), CheckStl::mismatchingContainerExpressionError(), CheckStl::mismatchingContainerIteratorError(), CheckStl::mismatchingContainersError(), CheckBufferOverrun::negativeArraySizeError(), CheckBufferOverrun::objectIndexError(), CheckCondition::oppositeInnerConditionError(), CheckStl::outOfBounds(), CheckStl::outOfBoundsError(), CheckStl::outOfBoundsIndexExpressionError(), CheckString::overlappingStrcmpError(), CheckCondition::pointerAdditionResultNotNullError(), CheckBufferOverrun::pointerArithmeticError(), CheckType::signConversionError(), CheckString::sprintfOverlappingData(), ValueFlow::Value::toString(), CheckUninitVar::uninitvarError(), CheckOther::unknownEvaluationOrder(), ValueFlow::Value::Value(), valueFlowAfterMove(), valueFlowLifetimeFunction(), and valueFlowSubFunction().

◆ exprId() [1/2]

nonneg int Token::exprId ( ) const

inline

Definition at line 883 of file token.h.

Referenced by astHasExpr(), ConditionHandler::beforeCondition(), CheckOther::checkInnerScope(), CheckAutoVariables::checkVarLifetimeScope(), SymbolDatabase::createSymbolDatabaseExprIds(), Tokenizer::dump(), ValueFlowAnalyzer::evaluate(), ExpressionAnalyzer::ExpressionAnalyzer(), fillProgramMemoryFromAssignments(), findExpressionChangedImpl(), followVariableExpression(), getContainerSizeFromConstructorArgs(), ExprIdToken::getExpressionId(), hasKnownSymbolicValue(), ValueFlow::hasLifetimeToken(), SubExpressionAnalyzer::internalMatch(), SubExpressionAnalyzer::isAlias(), ExpressionAnalyzer::isAliasModified(), isAliasOf(), isCompatibleValues(), isContainerSizeChanged(), isExpressionChangedAt(), isIteratorPair(), isSameToken(), isStrlenOf(), ValueFlowAnalyzer::isWritable(), ExpressionAnalyzer::match(), SubExpressionAnalyzer::match(), ContainerExpressionAnalyzer::match(), SymbolicInferModel::match(), SymbolicConditionHandler::parse(), programMemoryParseCondition(), ValueFlow::Value::sameToken(), sameValueType(), setSymbolic(), ProgramMemory::setValue(), SymbolicInferModel::SymbolicInferModel(), TokenExprIdCompare(), TokenExprIdEqual(), ConditionHandler::traverseCondition(), valueFlowAfterAssign(), valueFlowConditionExpressions(), valueFlowContainerSize(), valueFlowForwardLifetime(), valueFlowSmartPointer(), and valueFlowSymbolicOperators().

◆ exprId() [2/2]

void Token::exprId ( nonneg int id )

inline

Definition at line 888 of file token.h.

◆ fileIndex() [1/2]

nonneg int Token::fileIndex ( ) const

inline

Definition at line 809 of file token.h.

Referenced by TemplateSimplifier::addNamespace(), TokenList::addtoken(), CheckUnusedVar::checkStructMemberUsage(), TokenList::copyTokens(), TokenList::createTokens(), clangimport::AstNode::createTokens1(), TemplateSimplifier::expandTemplate(), followVariableExpression(), TokenList::insertTokens(), Function::isSafe(), CheckUnusedFunctions::parseTokens(), printValueFlow(), Tokenizer::simplifyHeadersAndUnusedTemplates(), stringifyList(), and Token().

◆ fileIndex() [2/2]

void Token::fileIndex ( nonneg int indexOfFile )

inline

Definition at line 812 of file token.h.

◆ findClosingBracket() [1/2]

Token * Token::findClosingBracket ( )

Definition at line 976 of file token.cpp.

References findClosingBracket().

◆ findClosingBracket() [2/2]

const Token * Token::findClosingBracket ( ) const

Returns the closing bracket of opening '<'.

Should only be used if link() is unavailable.

Returns: closing '>', ')', ']' or '}'. if no closing bracket is found, NULL is returned

Definition at line 917 of file token.cpp.

References isName(), isOperator(), link(), Match(), mPrevious, mStr, next(), previous(), simpleMatch(), str(), strAt(), and tokAt().

◆ findExpressionStartEndTokens()

std::pair< const Token *, const Token * > Token::findExpressionStartEndTokens ( ) const

Definition at line 1514 of file token.cpp.

References astOperand1(), astOperand2(), findLambdaEndToken(), goToLeftParenthesis(), goToRightParenthesis(), isUnaryPreOp(), link(), Match(), precedes(), simpleMatch(), str(), and succeeds().

Referenced by CheckUnusedVar::checkFunctionVariableUsage(), CheckOther::checkInnerScope(), FwdAnalysis::checkRecursive(), CheckOther::checkRedundantAssignment(), expressionString(), and CheckClass::initializationListUsage().

◆ findmatch() [1/4]

const Token * Token::findmatch	(	const Token *const	startTok,
		const char	pattern[],
		const nonneg int	varId = `0`
	)

static

Definition at line 1065 of file token.cpp.

References findmatchImpl(), and varId().

Referenced by CheckAutoVariables::autoVariables(), CheckStl::checkDereferenceInvalidIterator(), CheckMemoryLeakNoVar::checkForUnusedReturnValue(), checkFunctionUsage(), CheckOther::checkInnerScope(), CheckOther::checkInvalidFree(), CheckMemoryLeakInFunction::checkReallocUsage(), CheckLeakAutoVar::checkScope(), CheckUninitVar::checkScopeForVariable(), CheckUnusedVar::checkStructMemberUsage(), CheckOther::checkUnreachableCode(), Scope::checkVariable(), findStartToken(), CheckLeakAutoVar::functionCall(), getUnsafeFunction(), isBreakScope(), isEarlyExit(), isEscapeScope(), SymbolDatabase::isFunction(), Function::returnDefEnd(), singleAssignInScope(), singleConditionalInScope(), singleMemberCallInScope(), CheckClass::thisSubtraction(), TemplateSimplifier::TokenAndName::TokenAndName(), CheckStl::useStlAlgorithm(), valueFlowForLoop(), and valueFlowForLoopSimplify().

◆ findmatch() [2/4]

const Token * Token::findmatch	(	const Token *const	startTok,
		const char	pattern[],
		const Token *const	end,
		const nonneg int	varId = `0`
	)

static

Definition at line 1084 of file token.cpp.

References findmatchImpl(), and varId().

◆ findmatch() [3/4]

Token * Token::findmatch	(	Token *const	startTok,
		const char	pattern[],
		const nonneg int	varId = `0`
	)

static

Definition at line 1070 of file token.cpp.

References findmatchImpl(), and varId().

◆ findmatch() [4/4]

Token * Token::findmatch	(	Token *const	startTok,
		const char	pattern[],
		const Token *const	end,
		const nonneg int	varId = `0`
	)

static

Definition at line 1089 of file token.cpp.

References findmatchImpl(), and varId().

◆ findOpeningBracket() [1/2]

Token * Token::findOpeningBracket ( )

Definition at line 1008 of file token.cpp.

References findOpeningBracket().

◆ findOpeningBracket() [2/2]

const Token * Token::findOpeningBracket ( ) const

Definition at line 982 of file token.cpp.

References link(), Match(), mStr, previous(), and str().

Referenced by Tokenizer::calculateScopes(), Tokenizer::combineOperators(), findOpeningBracket(), insertToken(), Tokenizer::simplifyStaticConst(), TemplateSimplifier::simplifyTemplateInstantiations(), and TemplateSimplifier::TokenAndName::TokenAndName().

◆ findsimplematch() [1/8]

const Token * Token::findsimplematch	(	const Token *const	startTok,
		const char	pattern[],
		size_t	pattern_len
	)

static

Definition at line 1026 of file token.cpp.

References findsimplematchImpl().

◆ findsimplematch() [2/8]

const Token * Token::findsimplematch	(	const Token *const	startTok,
		const char	pattern[],
		size_t	pattern_len,
		const Token *const	end
	)

static

Definition at line 1046 of file token.cpp.

References findsimplematchImpl().

◆ findsimplematch() [3/8]

template<size_t count>

static const Token* Token::findsimplematch	(	const Token *const	startTok,
		const char(&)	pattern[count]
	)

inlinestatic

Definition at line 763 of file token.h.

Referenced by TemplateSimplifier::TokenAndName::aliasEndToken(), Variable::arrayDimensions(), CheckAutoVariables::assignFunctionArg(), CheckCondition::assignIf(), CheckAutoVariables::checkAutoVariableAssignment(), CheckBoost::checkBoostForeachModification(), CheckStl::checkDereferenceInvalidIterator(), CheckOther::checkDuplicateExpression(), Tokenizer::checkForEnumsWithTypedef(), CheckOther::checkInnerScope(), CheckLeakAutoVar::checkScope(), CheckUnusedVar::checkStructMemberUsage(), CheckOther::checkUnreachableCode(), CheckOther::checkUnusedLabel(), Scope::checkVariable(), SymbolDatabase::createSymbolDatabaseEscapeFunctions(), SymbolDatabase::createSymbolDatabaseSetVariablePointers(), CheckLeakAutoVar::functionCall(), getSingleFunctionCall(), getSingleReturnVar(), TemplateSimplifier::getTemplateInstantiations(), CheckStl::if_find(), isEarlyExit(), isReturnScope(), CheckStl::iterators(), Lambda::Lambda(), CheckCondition::multiCondition2(), parsedecl(), CheckBool::pointerArithBool(), CheckClass::privateFunctions(), Function::returnsConst(), Variable::setValueType(), Tokenizer::setVarIdPass1(), Tokenizer::simplifyRedundantParentheses(), singleStatement(), skipLocalVars(), and valueFlowUninit().

◆ findsimplematch() [4/8]

template<size_t count>

static const Token* Token::findsimplematch	(	const Token *const	startTok,
		const char(&)	pattern[count],
		const Token *const	end
	)

inlinestatic

Definition at line 769 of file token.h.

◆ findsimplematch() [5/8]

Token * Token::findsimplematch	(	Token *const	startTok,
		const char	pattern[],
		size_t	pattern_len
	)

static

Definition at line 1031 of file token.cpp.

References findsimplematchImpl().

◆ findsimplematch() [6/8]

Token * Token::findsimplematch	(	Token *const	startTok,
		const char	pattern[],
		size_t	pattern_len,
		const Token *const	end
	)

static

Definition at line 1051 of file token.cpp.

References findsimplematchImpl().

◆ findsimplematch() [7/8]

template<size_t count>

static Token* Token::findsimplematch	(	Token *const	startTok,
		const char(&)	pattern[count]
	)

inlinestatic

Definition at line 778 of file token.h.

◆ findsimplematch() [8/8]

template<size_t count>

static Token* Token::findsimplematch	(	Token *const	startTok,
		const char(&)	pattern[count],
		const Token *const	end
	)

inlinestatic

Definition at line 783 of file token.h.

◆ firstWordEquals()

bool Token::firstWordEquals	(	const char *	str,
		const char *	word
	)

staticprivate

Works almost like strcmp() except returns only true or false and if str has empty space ' ' character, that character is handled as if it were '\0'.

Definition at line 660 of file token.cpp.

References str().

Referenced by Match().

◆ flags() [1/2]

uint64_t Token::flags ( ) const

inline

Definition at line 418 of file token.h.

Referenced by TokenList::addtoken(), TokenList::copyTokens(), and TokenList::insertTokens().

◆ flags() [2/2]

void Token::flags ( const uint64_t flags_ )

inline

Definition at line 421 of file token.h.

◆ function() [1/2]

const Function* Token::function ( ) const

inline

Returns: a pointer to the Function associated with this token.

Definition at line 1062 of file token.h.

◆ function() [2/2]

void Token::function ( const Function * f )

Associate this token with given function.

Parameters

f	Function to be associated

Definition at line 1093 of file token.cpp.

References eFunction, eLambda, eName, Function::isLambda(), TokenImpl::mFunction, mImpl, mTokType, and tokType().

Referenced by CheckIO::ArgumentInfo::ArgumentInfo(), astStringXml(), CheckClass::checkConstFunc(), checkFunctionUsage(), CheckUnusedVar::checkFunctionVariableUsage_iterateScopes(), CheckOther::checkMisusedScopedObject(), CheckOther::checkRedundantCopy(), CheckLeakAutoVar::checkScope(), CheckOther::checkVarFuncNullUB(), compareTokenRanges(), SymbolDatabase::createSymbolDatabaseSetVariablePointers(), clangimport::AstNode::createTokensFunctionDecl(), Tokenizer::dump(), exprDependsOnThis(), findConstructor(), SymbolDatabase::findEnumerator(), SymbolDatabase::findFunction(), followAllReferences(), clangimport::Data::funcDecl(), CheckMemoryLeak::getAllocationType(), getArgumentVars(), CheckClass::getFirstVirtualFunctionCallStack(), getFunction(), getFunctionUsage(), getLifetimeTokens(), getParentValueTypes(), getSingleFunctionCall(), hasNoreturnFunction(), CheckClass::initializeVarList(), isConstFunctionCall(), CheckClass::isConstMemberFunc(), isConstVarExpression(), isContainerSizeChangedByFunction(), isEscapeFunction(), isExpressionChangedAt(), Library::isFunctionConst(), CheckUninitVar::isFunctionParUsage(), ValueFlowAnalyzer::isGlobalModified(), isMacroUsage(), CheckClass::isMemberFunc(), CheckUninitVar::isMemberVariableAssignment(), isNonConstFunctionCall(), Library::isnoreturn(), Library::isNotLibraryFunction(), Library::isnotnoreturn(), isParameterChanged(), isSameExpression(), Tokenizer::isScopeNoReturn(), isSimpleExpr(), isTemporary(), isThisChanged(), isUniqueExpression(), isVariableChanged(), isVariableChangedByFunctionCall(), CheckCondition::multiCondition2(), parsedecl(), CheckNullPointer::parseFunctionCall(), clangimport::Data::Decl::ref(), SymbolDatabase::setValueType(), SymbolDatabase::setValueTypeInTokenList(), CheckSizeof::sizeofFunction(), CheckStl::string_c_str(), CheckClass::thisUseAfterFree(), tokenIsFunctionReturningBool(), typeDecl(), typeOf(), CheckOther::unreachableCodeError(), valueFlowFunctionReturn(), valueFlowLifetimeFunction(), valueFlowSubFunction(), and SymbolDatabase::~SymbolDatabase().

◆ getContainerSizeValue()

const ValueFlow::Value * Token::getContainerSizeValue ( const MathLib::bigint val ) const

Definition at line 2618 of file token.cpp.

References mImpl, and TokenImpl::mValues.

◆ getCppcheckAttribute()

bool Token::getCppcheckAttribute	(	TokenImpl::CppcheckAttributes::Type	type,
		MathLib::bigint &	value
	)		const

inline

Definition at line 539 of file token.h.

Referenced by valueFlowSafeFunctions().

◆ getFlag()

bool Token::getFlag ( uint64_t flag_ ) const

inlineprivate

Get specified flag state.

Parameters

flag_ flag to get state of

Returns: true if flag set or false in flag not set

Definition at line 1347 of file token.h.

◆ getInvalidValue()

const ValueFlow::Value * Token::getInvalidValue	(	const Token *	ftok,
		nonneg int	argnr,
		const Settings &	settings
	)		const

Definition at line 1963 of file token.cpp.

References Settings::certainty, ValueFlow::Value::condition, inconclusive, SimpleEnableGroup< T >::isEnabled(), Library::isFloatArgValid(), ValueFlow::Value::isInconclusive(), Library::isIntArgValid(), Settings::library, mImpl, TokenImpl::mValues, Settings::severity, and warning.

Referenced by CheckFunctions::invalidFunctionUsage().

◆ getKnownIntValue()

MathLib::bigint Token::getKnownIntValue ( ) const

inline

Definition at line 1218 of file token.h.

Referenced by Variable::arrayDimensions(), Tokenizer::arraySizeAfterValueFlow(), checkBufferSize(), CheckCondition::checkCompareValueOutOfTypeRange(), CheckCondition::checkInvalidTestForOverflow(), checkMissingReturnScope(), CheckOther::checkOverlappingWrite(), CheckMemoryLeakInFunction::checkReallocUsage(), CheckUninitVar::checkScopeForVariable(), conditionAlwaysTrueOrFalse(), evaluateKnownValues(), getBufAndOffset(), getEnumType(), getVariableValues(), if_findCompare(), CheckFunctions::invalidFunctionUsage(), CheckBufferOverrun::isCtuUnsafeBufferUsage(), isFalseKeyword(), isTrueKeyword(), CheckBufferOverrun::objectIndex(), SymbolDatabase::setArrayDimensionsUsingValueFlow(), CheckBufferOverrun::stringNotZeroTerminated(), CheckFunctions::useStandardLibrary(), and valueFlowDynamicBufferSize().

◆ getKnownValue()

const ValueFlow::Value * Token::getKnownValue ( ValueFlow::Value::ValueType t ) const

Definition at line 2552 of file token.cpp.

References mImpl, and TokenImpl::mValues.

Referenced by CheckStl::eraseIteratorOutOfBounds(), and valueFlowGetStrLength().

◆ getMacroName()

std::string Token::getMacroName ( ) const

inline

Definition at line 755 of file token.h.

Referenced by TokenList::addtoken(), Tokenizer::dump(), TemplateSimplifier::expandTemplate(), TokenList::insertTokens(), and Tokenizer::simplifyVarDecl().

◆ getMaxValue()

const ValueFlow::Value * Token::getMaxValue	(	bool	condition,
		MathLib::bigint	path = `0`
	)		const

Definition at line 2592 of file token.cpp.

References getCompareValue(), mImpl, and TokenImpl::mValues.

Referenced by isOutOfBoundsImpl().

◆ getMinValue()

const ValueFlow::Value * Token::getMinValue	(	bool	condition,
		MathLib::bigint	path = `0`
	)		const

Definition at line 2599 of file token.cpp.

References getCompareValue(), mImpl, and TokenImpl::mValues.

◆ getMovedValue()

const ValueFlow::Value * Token::getMovedValue ( ) const

Definition at line 2606 of file token.cpp.

References mImpl, and TokenImpl::mValues.

◆ getStrArraySize()

nonneg int Token::getStrArraySize ( const Token * tok )

static

Returns: array length of C-string.

Should be called for %str%% tokens only.

Parameters

tok	token with C-string

Definition at line 807 of file token.cpp.

References eString, getStringLiteral(), str(), and tokType().

Referenced by Tokenizer::arraySize(), getDimensionsEtc(), getStrSize(), and CheckFunctions::invalidFunctionUsage().

◆ getStrLength()

nonneg int Token::getStrLength ( const Token * tok )

static

Returns: length of C-string.

Should be called for %str%% tokens only.

Parameters

tok	token with C-string

Definition at line 777 of file token.cpp.

References eString, getStringLiteral(), mTokType, and str().

Referenced by checkBufferSize(), CheckString::checkIncorrectStringCompare(), createBuiltinLibraryFunctions(), Tokenizer::dump(), getMinFormatStringOutputLength(), getValueTokenMaxStrLength(), ContainerConditionHandler::parse(), setTokenValue(), TemplateSimplifier::simplifyTemplateArgs(), Tokenizer::sizeOfType(), CheckBufferOverrun::stringNotZeroTerminated(), valueFlowContainerSize(), valueFlowDynamicBufferSize(), valueFlowGetStrLength(), and ContainerExpressionAnalyzer::writeValue().

◆ getStrSize()

nonneg int Token::getStrSize	(	const Token *	tok,
		const Settings &	settings
	)

static

Returns: sizeof of C-string.

Should be called for %str%% tokens only.

Parameters

tok	token with C-string
settings	Settings

Definition at line 822 of file token.cpp.

References eString, ValueFlow::getSizeOf(), getStrArraySize(), nonneg, ValueType::pointer, tokType(), and valueType().

Referenced by getValueTokenMinStrSize(), and valueFlowSetConstantValue().

◆ getTokenDebug()

TokenDebug Token::getTokenDebug ( ) const

inline

Definition at line 1475 of file token.h.

Referenced by SymbolDatabase::debugSymbolDatabase(), and valueFlowDebug().

◆ getValue()

const ValueFlow::Value * Token::getValue ( const MathLib::bigint val ) const

Definition at line 2562 of file token.cpp.

References mImpl, and TokenImpl::mValues.

Referenced by addByOne(), CheckNullPointer::arithmetic(), CheckUninitVar::checkIfForWhileHead(), CheckCondition::checkPointerAdditionResultNotNull(), and CheckFunctions::invalidFunctionUsage().

◆ getValueGE()

const ValueFlow::Value * Token::getValueGE	(	const MathLib::bigint	val,
		const Settings &	settings
	)		const

Definition at line 1954 of file token.cpp.

References ValueFlow::findValue(), mImpl, and TokenImpl::mValues.

Referenced by CheckOther::checkCharVariable(), CheckBool::checkComparisonOfBoolExpressionWithInt(), CheckStl::isContainerSizeGE(), and CheckBufferOverrun::pointerArithmetic().

◆ getValueLE()

const ValueFlow::Value * Token::getValueLE	(	const MathLib::bigint	val,
		const Settings &	settings
	)		const

Definition at line 1945 of file token.cpp.

References ValueFlow::findValue(), mImpl, and TokenImpl::mValues.

Referenced by CheckBool::checkComparisonOfBoolExpressionWithInt(), isNegative(), CheckBufferOverrun::negativeArraySize(), and CheckBufferOverrun::pointerArithmetic().

◆ getValueTokenMaxStrLength()

const Token * Token::getValueTokenMaxStrLength ( ) const

Definition at line 2008 of file token.cpp.

References eString, getStrLength(), mImpl, and TokenImpl::mValues.

Referenced by checkBufferSize(), and CheckBufferOverrun::stringNotZeroTerminated().

◆ getValueTokenMinStrSize()

const Token * Token::getValueTokenMinStrSize	(	const Settings &	settings,
		MathLib::bigint *	path = `nullptr`
	)		const

Definition at line 1988 of file token.cpp.

References eString, getStrSize(), mImpl, and TokenImpl::mValues.

Referenced by getDimensionsEtc(), CheckFunctions::invalidFunctionUsage(), and CheckString::stringLiteralWrite().

◆ hasCppcheckAttributes()

bool Token::hasCppcheckAttributes ( ) const

inline

Definition at line 543 of file token.h.

◆ hasKnownIntValue()

bool Token::hasKnownIntValue ( ) const

Definition at line 2519 of file token.cpp.

References mImpl, and TokenImpl::mValues.

Referenced by accumulateBoolLiteral(), addByOne(), ValueFlowAnalyzer::analyzeCondition(), Variable::arrayDimensions(), Tokenizer::arraySizeAfterValueFlow(), ConditionHandler::beforeCondition(), bifurcate(), checkBufferSize(), CheckCondition::checkCompareValueOutOfTypeRange(), PathAnalysis::checkCond(), CheckStl::checkDereferenceInvalidIterator2(), CheckOther::checkKnownArgument(), checkMissingReturnScope(), CheckOther::checkOverlappingWrite(), CheckCondition::checkPointerAdditionResultNotNull(), CheckMemoryLeakInFunction::checkReallocUsage(), FwdAnalysis::checkRecursive(), CheckUninitVar::checkScopeForVariable(), conditionAlwaysTrueOrFalse(), CheckCondition::duplicateCondition(), ValueFlowAnalyzer::evaluateInt(), evaluateKnownValues(), CheckLeakAutoVar::functionCall(), getBufAndOffset(), getContainerSizeFromConstructorArgs(), getEnumType(), getExpressionRange(), getVariableValues(), if_findCompare(), inferCondition(), CheckFunctions::invalidFunctionUsage(), CheckStl::isContainerSizeGE(), CheckBufferOverrun::isCtuUnsafeBufferUsage(), isFalseKeyword(), isNonZero(), isSameToken(), isTrueKeyword(), isUsedAsBool(), makeContainerSizeValue(), match(), minUnsignedValue(), CheckCondition::multiCondition2(), CheckNullPointer::nullConstantDereference(), CheckBufferOverrun::objectIndex(), CheckStl::outOfBounds(), SimpleConditionHandler::parse(), SymbolicConditionHandler::parse(), parseCompareEachInt(), ValueFlow::parseCompareInt(), SymbolDatabase::setArrayDimensionsUsingValueFlow(), ProgramMemory::setValue(), ConditionHandler::skipNotAndCasts(), solveExprValue(), MultiValueFlowAnalyzer::stopOnCondition(), CheckBufferOverrun::stringNotZeroTerminated(), ConditionHandler::traverseCondition(), CheckFunctions::useStandardLibrary(), valueFlowArrayBool(), valueFlowArrayElement(), valueFlowConditionExpressions(), valueFlowContainerSize(), valueFlowDynamicBufferSize(), valueFlowEnumValue(), valueFlowImpossibleValues(), valueFlowInferCondition(), valueFlowSameExpressions(), valueFlowSymbolicInfer(), valueFlowSymbolicOperators(), and CheckOther::warningOldStylePointerCast().

◆ hasKnownSymbolicValue()

bool Token::hasKnownSymbolicValue ( const Token * tok ) const

Definition at line 2541 of file token.cpp.

References exprId(), mImpl, and TokenImpl::mValues.

Referenced by SymbolicConditionHandler::parse().

◆ hasKnownValue() [1/2]

bool Token::hasKnownValue ( ) const

Definition at line 2528 of file token.cpp.

References ValueFlow::Value::isKnown(), mImpl, and TokenImpl::mValues.

Referenced by getDimensionsEtc(), CheckFunctions::invalidFunctionUsage(), isConstVarExpression(), CheckStl::outOfBounds(), CheckStl::stlOutOfBounds(), valueFlowBitAnd(), ValueFlow::valueFlowConstantFoldAST(), valueFlowContainerSize(), valueFlowDynamicBufferSize(), valueFlowFunctionReturn(), and valueFlowRightShift().

◆ hasKnownValue() [2/2]

bool Token::hasKnownValue ( ValueFlow::Value::ValueType t ) const

Definition at line 2533 of file token.cpp.

References mImpl, and TokenImpl::mValues.

◆ index()

nonneg int Token::index ( ) const

inline

Definition at line 1247 of file token.h.

Referenced by assignIndexes(), linkAt(), precedes(), succeeds(), and tokAt().

◆ insertToken()

Token * Token::insertToken	(	const std::string &	tokenStr,
		const std::string &	originalNameStr = `emptyString`,
		const std::string &	macroNameStr = `emptyString`,
		bool	prepend = `false`
	)

Insert new token after this token.

This function will handle relations between next and previous token also.

Parameters

tokenStr	String for the new token.
originalNameStr	String used for Token::originalName().
prepend	Insert the new token before this token when it's not the first one on the tokens list.

Definition at line 1105 of file token.cpp.

References TokensFrontBack::back, findOpeningBracket(), TokensFrontBack::front, linkAt(), Match(), TokenImpl::mFileIndex, mImpl, TokenImpl::mLineNumber, TokenImpl::mProgressValue, TokenImpl::mScopeInfo, mStr, mTokensFrontBack, next(), originalName(), previous(), scope(), scopeInfo(), setMacroName(), simpleMatch(), str(), strAt(), tokAt(), and Token().

◆ insertTokenBefore()

Token* Token::insertTokenBefore	(	const std::string &	tokenStr,
		const std::string &	originalNameStr = `emptyString`,
		const std::string &	macroNameStr = `emptyString`
	)

inline

Definition at line 857 of file token.h.

Referenced by Tokenizer::createLinks2(), TemplateSimplifier::expandTemplate(), TemplateSimplifier::getTemplateInstantiations(), Tokenizer::simplifyStaticConst(), and Tokenizer::simplifyTypedefLHS().

◆ isArithmeticalOp()

bool Token::isArithmeticalOp ( ) const

inline

Definition at line 395 of file token.h.

Referenced by CheckCondition::alwaysTrueFalse(), Tokenizer::dump(), if_findCompare(), isSimpleExpr(), isVariableChanged(), setTokenValue(), SymbolDatabase::setValueType(), and CheckStl::size().

◆ isAssignmentOp()

bool Token::isAssignmentOp ( ) const

inline

◆ isAtAddress() [1/2]

bool Token::isAtAddress ( ) const

inline

Definition at line 567 of file token.h.

◆ isAtAddress() [2/2]

void Token::isAtAddress ( bool b )

inline

Definition at line 570 of file token.h.

◆ isAtomic() [1/2]

bool Token::isAtomic ( ) const

inline

Definition at line 636 of file token.h.

Referenced by Tokenizer::dump().

◆ isAtomic() [2/2]

void Token::isAtomic ( bool b )

inline

Definition at line 639 of file token.h.

◆ isAttributeConst() [1/2]

bool Token::isAttributeConst ( ) const

inline

Definition at line 494 of file token.h.

Referenced by isSameExpression().

◆ isAttributeConst() [2/2]

void Token::isAttributeConst ( bool value )

inline

Definition at line 497 of file token.h.

◆ isAttributeConstructor() [1/2]

bool Token::isAttributeConstructor ( ) const

inline

Definition at line 464 of file token.h.

◆ isAttributeConstructor() [2/2]

void Token::isAttributeConstructor ( const bool ac )

inline

Definition at line 467 of file token.h.

◆ isAttributeDestructor() [1/2]

bool Token::isAttributeDestructor ( ) const

inline

Definition at line 470 of file token.h.

◆ isAttributeDestructor() [2/2]

void Token::isAttributeDestructor ( const bool value )

inline

Definition at line 473 of file token.h.

◆ isAttributeExport() [1/2]

bool Token::isAttributeExport ( ) const

inline

Definition at line 512 of file token.h.

Referenced by Tokenizer::dump().

◆ isAttributeExport() [2/2]

void Token::isAttributeExport ( const bool value )

inline

Definition at line 515 of file token.h.

◆ isAttributeMaybeUnused() [1/2]

bool Token::isAttributeMaybeUnused ( ) const

inline

Definition at line 530 of file token.h.

Referenced by Tokenizer::dump(), and Variable::evaluate().

◆ isAttributeMaybeUnused() [2/2]

void Token::isAttributeMaybeUnused ( const bool value )

inline

Definition at line 533 of file token.h.

◆ isAttributeNodiscard() [1/2]

bool Token::isAttributeNodiscard ( ) const

inline

Definition at line 524 of file token.h.

◆ isAttributeNodiscard() [2/2]

void Token::isAttributeNodiscard ( const bool value )

inline

Definition at line 527 of file token.h.

◆ isAttributeNoreturn() [1/2]

bool Token::isAttributeNoreturn ( ) const

inline

Definition at line 500 of file token.h.

◆ isAttributeNoreturn() [2/2]

void Token::isAttributeNoreturn ( const bool value )

inline

Definition at line 503 of file token.h.

◆ isAttributeNothrow() [1/2]

bool Token::isAttributeNothrow ( ) const

inline

Definition at line 506 of file token.h.

◆ isAttributeNothrow() [2/2]

void Token::isAttributeNothrow ( const bool value )

inline

Definition at line 509 of file token.h.

◆ isAttributePacked() [1/2]

bool Token::isAttributePacked ( ) const

inline

Definition at line 518 of file token.h.

Referenced by CheckUnusedVar::checkStructMemberUsage().

◆ isAttributePacked() [2/2]

void Token::isAttributePacked ( const bool value )

inline

Definition at line 521 of file token.h.

◆ isAttributePure() [1/2]

bool Token::isAttributePure ( ) const

inline

Definition at line 488 of file token.h.

Referenced by isSameExpression().

◆ isAttributePure() [2/2]

void Token::isAttributePure ( const bool value )

inline

Definition at line 491 of file token.h.

◆ isAttributeUnused() [1/2]

bool Token::isAttributeUnused ( ) const

inline

Definition at line 476 of file token.h.

Referenced by CheckUnusedVar::checkFunctionVariableUsage(), and Tokenizer::dump().

◆ isAttributeUnused() [2/2]

void Token::isAttributeUnused ( bool unused )

inline

Definition at line 479 of file token.h.

References unused().

◆ isAttributeUsed() [1/2]

bool Token::isAttributeUsed ( ) const

inline

Definition at line 482 of file token.h.

Referenced by CheckUnusedVar::checkFunctionVariableUsage().

◆ isAttributeUsed() [2/2]

void Token::isAttributeUsed ( const bool unused )

inline

Definition at line 485 of file token.h.

References unused().

◆ isBinaryOp()

bool Token::isBinaryOp ( ) const

inline

Definition at line 410 of file token.h.

Referenced by CheckIO::ArgumentInfo::ArgumentInfo(), CheckOther::checkOverlappingWrite(), extractForLoopValues(), getBufAndOffset(), getCastTypeStartToken(), getVariableValues(), isGlobalData(), isIntegralOrPointer(), isLikelyStreamRead(), isSameExpression(), isVariableChanged(), isVariableInit(), CheckUninitVar::isVariableUsage(), CheckBool::pointerArithBoolCond(), truncateImplicitConversion(), CheckFunctions::useStandardLibrary(), and valueFlowArrayElement().

◆ isBitfield()

bool Token::isBitfield ( ) const

inline

Definition at line 686 of file token.h.

◆ isBoolean()

bool Token::isBoolean ( ) const

inline

Definition at line 404 of file token.h.

Referenced by astIsBool(), CheckBool::checkComparisonOfBoolWithInt(), Scope::checkVariable(), CheckOther::constStatementError(), Tokenizer::dump(), isSimpleExpr(), multiComparePercent(), and SymbolDatabase::setValueTypeInTokenList().

◆ isC()

bool Token::isC ( ) const

Definition at line 2723 of file token.cpp.

References TokenList::isC(), TokensFrontBack::list, and mTokensFrontBack.

Referenced by CheckUninitVar::checkScope(), CheckString::checkSuspiciousStringCompare(), SymbolDatabase::createSymbolDatabaseFindAllScopes(), SymbolDatabase::findType(), hasOverloadedAssignment(), SymbolDatabase::isFunction(), and SymbolDatabase::returnImplicitIntError().

◆ isCalculation()

bool Token::isCalculation ( ) const

Is current token a calculation? Only true for operands.

For '*' and '&' tokens it is looked up if this is a dereference or address-of. A dereference or address-of is not counted as a calculation.

Returns: returns true if current token is a calculation

Definition at line 1556 of file token.cpp.

References astOperand1(), astOperand2(), isNumber(), Match(), str(), and varId().

Referenced by CheckOther::checkConstVariable(), and CheckSizeof::sizeofCalculation().

◆ isCast() [1/2]

bool Token::isCast ( ) const

inline

Definition at line 458 of file token.h.

Referenced by CheckIO::ArgumentInfo::ArgumentInfo(), CheckBufferOverrun::bufferOverflow(), CheckOther::checkConstPointer(), CheckMemoryLeakNoVar::checkForUnreleasedInputArgument(), CheckMemoryLeakNoVar::checkForUnusedReturnValue(), CheckOther::checkKnownArgument(), CheckMemoryLeakInFunction::checkReallocUsage(), FwdAnalysis::checkRecursive(), CheckLeakAutoVar::checkScope(), CheckUninitVar::checkScopeForVariable(), CheckLeakAutoVar::checkTokenInsideExpression(), CheckOther::constStatementError(), Tokenizer::dump(), findAllocFuncCallToken(), SymbolDatabase::findFunction(), CheckLeakAutoVar::functionCall(), getAstParentSkipPossibleCastAndAddressOf(), getExprUsage(), CheckMemoryLeak::getReallocationType(), isAddressOfLocalVariable(), isConditionKnown(), isConstStatement(), isFunctionCall(), isNullOperand(), isTemporary(), isUsedAsBool(), isVariableChanged(), CheckUninitVar::isVariableUsage(), isVoidCast(), Tokenizer::markCppCasts(), CheckBufferOverrun::objectIndex(), CheckLeakAutoVar::ret(), CheckFunctions::returnLocalStdMove(), setTokenValue(), SymbolDatabase::setValueTypeInTokenList(), CheckString::sprintfOverlappingData(), valueFlowDynamicBufferSize(), valueFlowForwardLifetime(), and valueFlowFunctionReturn().

◆ isCast() [2/2]

void Token::isCast ( bool c )

inline

Definition at line 461 of file token.h.

◆ isCChar()

bool Token::isCChar ( ) const

inline

Definition at line 722 of file token.h.

References emptyString, and isPrefixStringCharLiteral().

Referenced by concatStr(), SymbolDatabase::setValueTypeInTokenList(), and valueFlowSetConstantValue().

◆ isCMultiChar()

bool Token::isCMultiChar ( ) const

inline

Definition at line 727 of file token.h.

References emptyString, and isPrefixStringCharLiteral().

Referenced by SymbolDatabase::setValueTypeInTokenList(), and valueFlowSetConstantValue().

◆ isComparisonOp()

◆ isComplex() [1/2]

bool Token::isComplex ( ) const

inline

Definition at line 555 of file token.h.

Referenced by compareTokenFlags(), Tokenizer::dump(), stringify(), and tokenType().

◆ isComplex() [2/2]

void Token::isComplex ( const bool value )

inline

Definition at line 558 of file token.h.

◆ isConstexpr() [1/2]

bool Token::isConstexpr ( ) const

inline

Definition at line 594 of file token.h.

Referenced by CheckCondition::alwaysTrueFalse(), and Tokenizer::simplifyTokenList1().

◆ isConstexpr() [2/2]

void Token::isConstexpr ( bool b )

inline

Definition at line 597 of file token.h.

◆ isConstOp()

bool Token::isConstOp ( ) const

inline

Definition at line 385 of file token.h.

Referenced by bifurcate(), getExprUsage(), hasNoreturnFunction(), CheckUninitVar::isMemberVariableAssignment(), isVariableUsed(), minUnsignedValue(), multiComparePercent(), and truncateImplicitConversion().

◆ isControlFlowKeyword()

bool Token::isControlFlowKeyword ( ) const

inline

Definition at line 546 of file token.h.

Referenced by Tokenizer::checkConfiguration(), SymbolDatabase::createSymbolDatabaseExprIds(), getFunctionUsage(), and Tokenizer::simplifyTypedefCpp().

◆ isCpp()

bool Token::isCpp ( ) const

Definition at line 2718 of file token.cpp.

References TokenList::isCPP(), TokensFrontBack::list, and mTokensFrontBack.

Referenced by Scope::addEnum(), Function::argsMatch(), Variable::arrayDimensions(), CheckUnusedVar::checkFunctionVariableUsage(), CheckUnusedVar::checkFunctionVariableUsage_iterateScopes(), CheckLeakAutoVar::checkScope(), CheckUninitVar::checkScopeForVariable(), CheckString::checkSuspiciousStringCompare(), Scope::checkVariable(), CheckClass::copyconstructors(), SymbolDatabase::createSymbolDatabaseFindAllScopes(), Tokenizer::duplicateTypedef(), Variable::evaluate(), findLambdaStartToken(), CheckLeakAutoVar::functionCall(), CheckMemoryLeak::getAllocationType(), CheckMemoryLeak::getDeallocationType(), isDifferentType(), Library::isFloatArgValid(), SymbolDatabase::isFunction(), Tokenizer::isFunctionHead(), Library::isIntArgValid(), isLikelyStream(), isLikelyStreamRead(), isLocalVarNoAutoDealloc(), isNullOperand(), SymbolDatabase::isReservedName(), isSameExpression(), isTemporary(), isVariableChanged(), isVariableChangedByFunctionCall(), Scope::isVariableDeclaration(), CheckUninitVar::isVariableUsage(), isWithoutSideEffects(), CheckCondition::multiCondition2(), needsInitialization(), CheckBufferOverrun::objectIndex(), parsedecl(), Scope::Scope(), clangimport::AstNode::setValueType(), SymbolDatabase::setValueType(), SymbolDatabase::setValueTypeInTokenList(), setVarIdParseDeclaration(), Tokenizer::setVarIdPass1(), Tokenizer::simplifyFunctionPointers(), Tokenizer::simplifyHeadersAndUnusedTemplates(), Tokenizer::simplifyRedundantParentheses(), Tokenizer::simplifyTypedefCpp(), Tokenizer::simplifyVarDecl(), CheckType::tooBigSignedBitwiseShiftError(), CheckFunctions::useStandardLibrary(), CheckVaarg::va_list_usage(), valueFlowDynamicBufferSize(), valueFlowGlobalStaticVar(), valueFlowLibraryFunction(), valueFlowSetConstantValue(), and valueFlowUnknownFunctionReturn().

◆ isCpp11init()

TokenImpl::Cpp11init Token::isCpp11init ( ) const

inline

Definition at line 1471 of file token.h.

◆ isEnumerator()

bool Token::isEnumerator ( ) const

inline

Definition at line 374 of file token.h.

Referenced by CheckOther::constStatementError(), Scope::findFunction(), isConstant(), isConstVarExpression(), and isOperandExpanded().

◆ isEnumType() [1/2]

bool Token::isEnumType ( ) const

inline

Definition at line 561 of file token.h.

Referenced by CheckUninitVar::checkScope(), CheckUninitVar::checkScopeForVariable(), and type().

◆ isEnumType() [2/2]

void Token::isEnumType ( const bool value )

inline

Definition at line 564 of file token.h.

◆ isExpandedMacro()

◆ isExtendedOp()

bool Token::isExtendedOp ( ) const

inline

Definition at line 391 of file token.h.

Referenced by CheckUnusedVar::checkFunctionVariableUsage_iterateScopes().

◆ isExternC() [1/2]

bool Token::isExternC ( ) const

inline

Definition at line 601 of file token.h.

Referenced by CheckOther::checkPassByReference(), Tokenizer::dump(), Function::setFlags(), and Tokenizer::simplifyExternC().

◆ isExternC() [2/2]

void Token::isExternC ( bool b )

inline

Definition at line 604 of file token.h.

◆ isFinalType() [1/2]

bool Token::isFinalType ( ) const

inline

Definition at line 671 of file token.h.

Referenced by CheckClass::checkVirtualFunctionCallInConstructor().

◆ isFinalType() [2/2]

void Token::isFinalType ( bool b )

inline

Definition at line 674 of file token.h.

◆ isImplicitInt() [1/2]

bool Token::isImplicitInt ( ) const

inline

Definition at line 622 of file token.h.

Referenced by Tokenizer::dump().

◆ isImplicitInt() [2/2]

void Token::isImplicitInt ( bool b )

inline

Definition at line 625 of file token.h.

◆ isIncDecOp()

bool Token::isIncDecOp ( ) const

inline

Definition at line 407 of file token.h.

Referenced by CheckOther::checkConstPointer(), isVariableChanged(), and CheckStl::useStlAlgorithm().

◆ isIncompleteConstant() [1/2]

bool Token::isIncompleteConstant ( ) const

inline

Definition at line 587 of file token.h.

Referenced by SymbolDatabase::createSymbolDatabaseExprIds(), and findExpressionChangedImpl().

◆ isIncompleteConstant() [2/2]

void Token::isIncompleteConstant ( bool b )

inline

Definition at line 590 of file token.h.

◆ isIncompleteVar() [1/2]

bool Token::isIncompleteVar ( ) const

inline

Definition at line 573 of file token.h.

Referenced by SymbolDatabase::createSymbolDatabaseExprIds(), findExpressionChangedImpl(), findIncompleteVar(), isReturnScope(), ExpressionAnalyzer::setupExprVarIds(), valueFlowImpossibleValues(), and valueFlowSymbolic().

◆ isIncompleteVar() [2/2]

void Token::isIncompleteVar ( bool b )

inline

Definition at line 576 of file token.h.

◆ isInitComma() [1/2]

bool Token::isInitComma ( ) const

inline

Definition at line 678 of file token.h.

Referenced by isUsedAsBool(), setTokenValue(), and ValueFlow::setValues().

◆ isInitComma() [2/2]

void Token::isInitComma ( bool b )

inline

Definition at line 681 of file token.h.

◆ isInline() [1/2]

bool Token::isInline ( ) const

inline

Definition at line 629 of file token.h.

Referenced by Function::setFlags(), and Tokenizer::simplifyTypedefCpp().

◆ isInline() [2/2]

void Token::isInline ( bool b )

inline

Definition at line 632 of file token.h.

◆ isKeyword()

bool Token::isKeyword ( ) const

inline

Definition at line 358 of file token.h.

Referenced by CheckFunctions::checkLibraryMatchFunctions(), checkMissingReturnScope(), CheckOther::checkMisusedScopedObject(), CheckMemoryLeakStructMember::checkStructVariable(), CheckOther::checkUnreachableCode(), Scope::checkVariable(), SymbolDatabase::createSymbolDatabaseExprIds(), SymbolDatabase::createSymbolDatabaseFindAllScopes(), SymbolDatabase::findEnumerator(), SymbolDatabase::findVariableType(), CheckLeakAutoVar::functionCall(), Scope::getVariableList(), isEnumScope(), isExpressionChangedAt(), SymbolDatabase::isFunction(), ValueFlowAnalyzer::isGlobalModified(), CheckClass::isMemberVar(), isNonMacro(), Library::isNotLibraryFunction(), Library::isScopeNoReturn(), isThisChanged(), isType(), isUsedAsBool(), isVariableChangedByFunctionCall(), CheckUnusedFunctions::parseTokens(), Tokenizer::removeMacrosInGlobalScope(), Tokenizer::reportUnknownMacros(), SymbolDatabase::setValueTypeInTokenList(), Tokenizer::setVarIdPass1(), Tokenizer::simplifyHeadersAndUnusedTemplates(), Tokenizer::simplifyRedundantParentheses(), Tokenizer::simplifyTypedefCpp(), Tokenizer::simplifyUsing(), CheckOther::unreachableCodeError(), and valueFlowSubFunction().

◆ isLiteral()

bool Token::isLiteral ( ) const

inline

Definition at line 368 of file token.h.

Referenced by ValueFlowAnalyzer::analyzeCondition(), CheckString::checkSuspiciousStringCompare(), followVariableExpression(), getEnumType(), isExpressionChangedAt(), CheckUnusedVar::isFunctionWithoutSideEffects(), matchMemberVarName(), Tokenizer::setVarIdPass1(), Tokenizer::setVarIdPass2(), Tokenizer::simplifyUsing(), and Tokenizer::sizeofAddParentheses().

◆ isLong() [1/2]

◆ isLong() [2/2]

void Token::isLong ( bool size )

inline

Definition at line 446 of file token.h.

◆ isName()

bool Token::isName ( ) const

inline

Definition at line 361 of file token.h.

◆ isNameOnly()

bool Token::isNameOnly ( ) const

inline

Definition at line 364 of file token.h.

Referenced by Tokenizer::simplifyTypedefCpp(), and Tokenizer::simplifyUsing().

◆ isNumber()

bool Token::isNumber ( ) const

inline

Definition at line 371 of file token.h.

Referenced by CheckCondition::alwaysTrueFalse(), CheckCondition::checkInvalidTestForOverflow(), CheckOther::clarifyCalculation(), CheckCondition::comparison(), CheckOther::constStatementError(), SymbolDatabase::createSymbolDatabaseExprIds(), Tokenizer::dump(), Tokenizer::initVar(), isCalculation(), SymbolDatabase::isFunction(), CheckCondition::isOverlappingCond(), isSameConstantValue(), isSimpleExpr(), isUsedAsBool(), CheckFunctions::memsetInvalid2ndParam(), multiComparePercent(), SymbolDatabase::setValueTypeInTokenList(), Tokenizer::simplifyArrayAccessSyntax(), Tokenizer::simplifyDoublePlusAndDoubleMinus(), TemplateSimplifier::simplifyNumericCalculations(), Tokenizer::simplifyTokenList1(), TemplateSimplifier::templateParameters(), valueFlowSetConstantValue(), and valueFlowSmartPointer().

◆ isOp()

bool Token::isOp ( ) const

inline

Definition at line 380 of file token.h.

Referenced by CheckBool::checkComparisonOfBoolExpressionWithInt(), Tokenizer::dump(), findEndOfFunctionCallForParameter(), multiComparePercent(), CheckNullPointer::nullConstantDereference(), Tokenizer::setVarIdPass1(), and TemplateSimplifier::templateParameters().

◆ isOperatorKeyword() [1/2]

bool Token::isOperatorKeyword ( ) const

inline

Definition at line 549 of file token.h.

Referenced by isOperator(), and Tokenizer::setVarIdPass1().

◆ isOperatorKeyword() [2/2]

void Token::isOperatorKeyword ( const bool value )

inline

Definition at line 552 of file token.h.

◆ isPointerCompare() [1/2]

bool Token::isPointerCompare ( ) const

inline

Definition at line 437 of file token.h.

◆ isPointerCompare() [2/2]

void Token::isPointerCompare ( const bool b )

inline

Definition at line 440 of file token.h.

◆ isRemovedVoidParameter()

bool Token::isRemovedVoidParameter ( ) const

inline

Definition at line 650 of file token.h.

Referenced by Tokenizer::dump().

◆ isRestrict() [1/2]

bool Token::isRestrict ( ) const

inline

Definition at line 643 of file token.h.

Referenced by Tokenizer::dump().

◆ isRestrict() [2/2]

void Token::isRestrict ( bool b )

inline

Definition at line 646 of file token.h.

◆ isSigned() [1/2]

bool Token::isSigned ( ) const

inline

Definition at line 430 of file token.h.

Referenced by CheckIO::ArgumentInfo::ArgumentInfo(), CheckOther::checkCastIntToCharAndBack(), compareTokenFlags(), Tokenizer::dump(), TemplateSimplifier::expandTemplate(), TemplateSimplifier::matchSpecialization(), matchTemplateParameters(), parsedecl(), TemplateSimplifier::printOut(), SymbolDatabase::setValueType(), SymbolDatabase::setValueTypeInTokenList(), stringify(), and tokenType().

◆ isSigned() [2/2]

void Token::isSigned ( const bool sign )

inline

Definition at line 433 of file token.h.

References sign().

◆ isSimplifiedScope() [1/2]

bool Token::isSimplifiedScope ( ) const

inline

Definition at line 664 of file token.h.

Referenced by CheckOther::checkInnerScope(), and Tokenizer::simplifyIfSwitchForInit().

◆ isSimplifiedScope() [2/2]

void Token::isSimplifiedScope ( bool b )

inline

Definition at line 667 of file token.h.

◆ isSimplifiedTypedef() [1/2]

bool Token::isSimplifiedTypedef ( ) const

inline

Definition at line 580 of file token.h.

Referenced by SymbolDatabase::createSymbolDatabaseFindAllScopes(), Tokenizer::simplifyTypedefCpp(), and Tokenizer::simplifyUsing().

◆ isSimplifiedTypedef() [2/2]

void Token::isSimplifiedTypedef ( bool b )

inline

Definition at line 583 of file token.h.

◆ isSplittedVarDeclComma() [1/2]

bool Token::isSplittedVarDeclComma ( ) const

inline

Definition at line 608 of file token.h.

Referenced by Tokenizer::dump(), and Tokenizer::simplifyVarDecl().

◆ isSplittedVarDeclComma() [2/2]

void Token::isSplittedVarDeclComma ( bool b )

inline

Definition at line 611 of file token.h.

◆ isSplittedVarDeclEq() [1/2]

bool Token::isSplittedVarDeclEq ( ) const

inline

Definition at line 615 of file token.h.

Referenced by CheckUnusedVar::checkFunctionVariableUsage(), CheckOther::checkRedundantCopy(), Tokenizer::dump(), Variable::evaluate(), getVariableChangedStart(), Tokenizer::simplifyVarDecl(), valueFlowAfterAssign(), and Variable::Variable().

◆ isSplittedVarDeclEq() [2/2]

void Token::isSplittedVarDeclEq ( bool b )

inline

Definition at line 618 of file token.h.

◆ isStandardType() [1/2]

bool Token::isStandardType ( ) const

inline

Definition at line 449 of file token.h.

Referenced by Function::addArguments(), SymbolDatabase::addClassFunction(), CheckMemoryLeakInClass::check(), CheckIO::checkFormatString(), CheckMemoryLeakNoVar::checkForUnreleasedInputArgument(), CheckMemoryLeakNoVar::checkForUnusedReturnValue(), CheckUnusedVar::checkFunctionVariableUsage_iterateScopes(), CheckOther::checkMisusedScopedObject(), CheckUninitVar::checkScope(), CheckUninitVar::checkScopeForVariable(), CheckUnusedVar::checkStructMemberUsage(), CheckClass::constructors(), SymbolDatabase::createSymbolDatabaseVariableSymbolTable(), Variable::evaluate(), TemplateSimplifier::expandTemplate(), getCastTypeStartToken(), Tokenizer::initVar(), isConstStatement(), isExpressionChangedAt(), SymbolDatabase::isFunction(), isFunctionCall(), isLocalVarNoAutoDealloc(), CheckClass::isMemberVar(), isNonMacro(), Library::isNotLibraryFunction(), isType(), isUnknownType(), parsedecl(), CheckUnusedFunctions::parseTokens(), Tokenizer::removeMacrosInGlobalScope(), Tokenizer::reportUnknownMacros(), Function::returnsStandardType(), setAutoTokenProperties(), SymbolDatabase::setValueType(), SymbolDatabase::setValueTypeInTokenList(), setVarIdParseDeclaration(), Tokenizer::setVarIdPass1(), Tokenizer::setVarIdPass2(), Tokenizer::simplifyRedundantParentheses(), Tokenizer::simplifyTypedefCpp(), Tokenizer::simplifyUsing(), Tokenizer::splitTemplateRightAngleBrackets(), update_property_isStandardType(), and valueFlowSetConstantValue().

◆ isStandardType() [2/2]

void Token::isStandardType ( const bool b )

inline

Definition at line 452 of file token.h.

◆ isTemplate() [1/2]

bool Token::isTemplate ( ) const

inline

Definition at line 657 of file token.h.

Referenced by Tokenizer::removeExtraTemplateKeywords().

◆ isTemplate() [2/2]

void Token::isTemplate ( bool b )

inline

Definition at line 660 of file token.h.

◆ isTemplateArg() [1/2]

bool Token::isTemplateArg ( ) const

inline

Is current token a template argument?

Original code:

template<class C> struct S {
    C x;
};
S<int> s;

Resulting code:

struct S<int> {
    int x ;  // <- "int" is a template argument
}
S<int> s;

Definition at line 748 of file token.h.

Referenced by CheckOther::checkConstPointer(), compareTokenFlags(), Tokenizer::dump(), TemplateSimplifier::expandTemplate(), isSameConstantValue(), valueFlowNumber(), and valueFlowSetConstantValue().

◆ isTemplateArg() [2/2]

void Token::isTemplateArg ( const bool value )

inline

Definition at line 751 of file token.h.

◆ isUnaryOp()

bool Token::isUnaryOp ( const std::string & s ) const

inline

Definition at line 413 of file token.h.

Referenced by ValueFlowAnalyzer::analyzeToken(), CheckClass::checkConstFunc(), CheckOther::checkConstPointer(), CheckOther::checkConstVariable(), CheckUnusedVar::checkFunctionVariableUsage_iterateScopes(), CheckMemoryLeakInFunction::checkReallocUsage(), FwdAnalysis::checkRecursive(), CheckClass::checkReturnPtrThis(), derefShared(), extractForLoopValues(), Scope::findFunction(), followVariableExpression(), getAstParentSkipPossibleCastAndAddressOf(), getBufAndOffset(), getExprUsage(), CTU::getFileInfo(), getIteratorExpression(), getLibraryContainer(), getLifetimeTokens(), getOverrunIndexValues(), CheckMemoryLeak::getReallocationType(), isAddressOfLocalVariable(), isAutoVarArray(), CheckUninitVar::isMemberVariableUsage(), isOppositeExpression(), CheckNullPointer::isPointerDeRef(), isTemporary(), isUnchanged(), isUsedAsBool(), isVariableChanged(), CheckUninitVar::isVariableUsage(), CheckCondition::multiCondition2(), FwdAnalysis::possiblyAliased(), setTokenValue(), valueFlowImpossibleValues(), valueFlowLifetime(), valueFlowPointerAlias(), and CheckUninitVar::valueFlowUninit().

◆ isUnaryPreOp()

bool Token::isUnaryPreOp ( ) const

Definition at line 1592 of file token.cpp.

References astOperand1(), astOperand2(), eIncDecOp, TokenImpl::mAstOperand1, mImpl, mNext, mPrevious, and tokType().

Referenced by findExpressionStartEndTokens().

◆ isUniqueExprId()

bool Token::isUniqueExprId ( ) const

inline

Definition at line 898 of file token.h.

Referenced by ExpressionAnalyzer::ExpressionAnalyzer().

◆ isUnsigned() [1/2]

bool Token::isUnsigned ( ) const

inline

Definition at line 424 of file token.h.

Referenced by Function::argsMatch(), CheckIO::ArgumentInfo::ArgumentInfo(), CheckIO::argumentType(), CheckIO::checkFormatString(), checkVariableCallMatch(), compareTokenFlags(), Tokenizer::dump(), TemplateSimplifier::expandTemplate(), Variable::isUnsigned(), TemplateSimplifier::matchSpecialization(), matchTemplateParameters(), parsedecl(), TemplateSimplifier::printOut(), SymbolDatabase::setValueType(), SymbolDatabase::setValueTypeInTokenList(), stringify(), and tokenType().

◆ isUnsigned() [2/2]

void Token::isUnsigned ( const bool sign )

inline

Definition at line 427 of file token.h.

References sign().

◆ isUpperCaseName()

bool Token::isUpperCaseName ( ) const

Definition at line 203 of file token.cpp.

References isName(), and mStr.

Referenced by CheckClass::checkConst(), CheckLeakAutoVar::checkScope(), Tokenizer::combineOperators(), SymbolDatabase::createSymbolDatabaseFindAllScopes(), SymbolDatabase::isFunction(), Tokenizer::isFunctionHead(), Tokenizer::removeMacroInClassDef(), Tokenizer::removeMacrosInGlobalScope(), Tokenizer::reportUnknownMacros(), Tokenizer::simplifyAddBracesPair(), and Tokenizer::simplifyTokenList1().

◆ isUtf16()

bool Token::isUtf16 ( ) const

inline

Definition at line 712 of file token.h.

References isPrefixStringCharLiteral().

Referenced by SymbolDatabase::setValueTypeInTokenList(), and valueFlowSetConstantValue().

◆ isUtf32()

bool Token::isUtf32 ( ) const

inline

Definition at line 717 of file token.h.

References isPrefixStringCharLiteral().

Referenced by SymbolDatabase::setValueTypeInTokenList(), and valueFlowSetConstantValue().

◆ isUtf8()

bool Token::isUtf8 ( ) const

inline

Definition at line 707 of file token.h.

References isPrefixStringCharLiteral().

Referenced by SymbolDatabase::setValueTypeInTokenList(), and valueFlowSetConstantValue().

◆ isVariable()

bool Token::isVariable ( ) const

inline

Definition at line 377 of file token.h.

◆ linenr() [1/2]

nonneg int Token::linenr ( ) const

inline

Definition at line 816 of file token.h.

Referenced by TemplateSimplifier::addNamespace(), TokenList::addtoken(), CheckOther::checkShadowVariables(), CheckUninitVar::checkStruct(), CheckOther::checkSuspiciousSemicolon(), CheckOther::checkUnreachableCode(), TokenList::copyTokens(), TokenList::createTokens(), clangimport::AstNode::createTokens1(), Tokenizer::dump(), TemplateSimplifier::expandTemplate(), findShadowed(), TokenList::insertTokens(), CheckStl::missingComparisonError(), CheckCondition::multiCondition(), CheckCondition::oppositeElseIfConditionError(), CheckUnusedFunctions::parseTokens(), printLines(), printValueFlow(), Tokenizer::simplifyFunctionParameters(), Tokenizer::simplifyTypedef(), Tokenizer::simplifyTypedefCpp(), stringifyList(), Token(), CheckType::tooBigBitwiseShiftError(), CheckType::tooBigSignedBitwiseShiftError(), and CheckOther::zerodivError().

◆ linenr() [2/2]

void Token::linenr ( nonneg int lineNumber )

inline

Definition at line 819 of file token.h.

◆ link() [1/3]

Token* Token::link ( )

inline

Definition at line 1034 of file token.h.

◆ link() [2/3]

const Token* Token::link ( ) const

inline

Return token where this token links to.

Supported links are: "{" <-> "}" "(" <-> ")" "[" <-> "]"

Returns: The token where this token links to.

Definition at line 1030 of file token.h.

◆ link() [3/3]

void Token::link ( Token * linkToToken )

inline

Create link to given token.

Parameters

linkToToken The token where this token should link to.

Definition at line 1015 of file token.h.

◆ linkAt() [1/2]

Token * Token::linkAt ( int index )

Definition at line 418 of file token.cpp.

References index(), and linkAtImpl().

◆ linkAt() [2/2]

const Token * Token::linkAt ( int index ) const

Returns: the link to the token in given index, related to this token. For example index 1 would return the link to next token.

Definition at line 413 of file token.cpp.

References index(), and linkAtImpl().

◆ Match()

bool Token::Match	(	const Token *	tok,
		const char	pattern[],
		nonneg int	varid = `0`
	)

static

Match given token (or list of tokens) to a pattern list.

Possible patterns

"%any%" any token
"%assign%" a assignment operand
"%bool%" true or false
"%char%" Any token enclosed in '-character.
"%comp%" Any token such that isComparisonOp() returns true.
"%cop%" Any token such that isConstOp() returns true.
"%name%" any token which is a name, variable or type e.g. "hello" or "int". Also matches keywords.
"%num%" Any numeric token, e.g. "23"
"%op%" Any token such that isOp() returns true.
"%or%" A bitwise-or operator '|'
"%oror%" A logical-or operator '||'
"%type%" Anything that can be a variable type, e.g. "int". Also matches keywords.
"%str%" Any token starting with "-character (C-string).
"%var%" Match with token with varId > 0
"%varid%" Match with parameter varid
"[abc]" Any of the characters 'a' or 'b' or 'c'
"int|void|char" Any of the strings, int, void or char
"int|void|char|" Any of the strings, int, void or char or no token
"!!else" No tokens or any token that is not "else".
"someRandomText" If token contains "someRandomText".

multi-compare patterns such as "int|void|char" can contain %or%, %oror% and %op% it is recommended to put such an %cmd% as the first pattern. For example: "%var%|%num%|)" means yes to a variable, a number or ')'.

The patterns can be also combined to compare to multiple tokens at once by separating tokens with a space, e.g. ") const|void {" will return true if first token is ')' next token is either "const" or "void" and token after that is '{'. If even one of the tokens does not match its pattern, false is returned.

Parameters

tok	List of tokens to be compared to the pattern
pattern	The pattern against which the tokens are compared, e.g. "const" or ") const\|volatile\| {".
varid	if %varid% is given in the pattern the Token::varId will be matched against this argument

Returns: true if given token matches with given pattern false if given token does not match with given pattern

Definition at line 688 of file token.cpp.

References chrInFirstWord(), firstWordEquals(), multiCompareImpl(), next(), and str().

◆ move()

void Token::move	(	Token *	srcStart,
		Token *	srcEnd,
		Token *	newLocation
	)

static

Move srcStart and srcEnd tokens and all tokens between them into new a location.

Only links between tokens are changed.

Parameters

srcStart	This is the first token to be moved
srcEnd	The last token to be moved
newLocation	srcStart will be placed after this token.

[newLocation] -> b -> c -> [srcStart] -> [srcEnd] -> f

Definition at line 834 of file token.cpp.

References mImpl, TokenImpl::mProgressValue, next(), and previous().

Referenced by Tokenizer::simplifyAddBracesPair().

◆ multiCompare()

int Token::multiCompare	(	const Token *	tok,
		const char *	haystack,
		nonneg int	varid
	)

staticprivate

Needle is build from multiple alternatives.

If one of them is equal to haystack, return value is 1. If there are no matches, but one alternative to needle is empty string, return value is 0. If needle was not found, return value is -1.

Parameters

tok	Current token (needle)
haystack	e.g. "one\|two" or "\|one\|two"
varid	optional varid of token

Returns: 1 if needle is found from the haystack 0 if needle was empty string -1 if needle was not found

Definition at line 626 of file token.cpp.

References multiCompareImpl().

◆ next() [1/3]

Token* Token::next ( )

inline

Definition at line 830 of file token.h.

◆ next() [2/3]

const Token* Token::next ( ) const

inline

Definition at line 834 of file token.h.

◆ next() [3/3]

void Token::next ( Token * nextToken )

inlineprivate

Definition at line 1255 of file token.h.

◆ nextArgument() [1/2]

Token * Token::nextArgument ( )

Definition at line 874 of file token.cpp.

References nextArgumentImpl().

◆ nextArgument() [2/2]

const Token * Token::nextArgument ( ) const

Returns: the first token of the next argument. Does only work on argument lists. Requires that Tokenizer::createLinks2() has been called before. Returns 0, if there is no next argument.

Definition at line 869 of file token.cpp.

References nextArgumentImpl().

Referenced by Function::argsMatch(), CheckOther::checkEvaluationOrder(), CheckIO::checkFileUsage(), CheckIO::checkFormatString(), CheckMemoryLeakNoVar::checkForUnsafeArgAlloc(), CheckOther::checkFuncArgNamesDifferent(), CheckFunctions::checkMathFunctions(), CheckClass::checkMemset(), CheckSizeof::checkSizeofForPointerSize(), findFormat(), CheckLeakAutoVar::functionCall(), CheckMemoryLeak::getDeallocationType(), CheckIO::invalidScanf(), CheckClass::isMemberFunc(), CheckStl::iterators(), numberOfArgumentsWithoutAst(), CheckStl::string_c_str(), CheckStl::uselessCalls(), and CheckVaarg::va_start_argument().

◆ nextArgumentBeforeCreateLinks2()

const Token * Token::nextArgumentBeforeCreateLinks2 ( ) const

Returns: the first token of the next argument. Does only work on argument lists. Should be used only before Tokenizer::createLinks2() was called. Returns 0, if there is no next argument.

Definition at line 879 of file token.cpp.

References findClosingBracket(), link(), Match(), and next().

Referenced by getFunctionArguments(), and Tokenizer::setVarIdPass1().

◆ nextTemplateArgument()

const Token * Token::nextTemplateArgument ( ) const

Returns: the first token of the next template argument. Does only work on template argument lists. Requires that Tokenizer::createLinks2() has been called before. Returns 0, if there is no next argument.

Definition at line 896 of file token.cpp.

References link(), Match(), and next().

Referenced by Variable::arrayDimensions(), CheckStl::if_find(), and parsedecl().

◆ operator=()

Token& Token::operator= ( const Token & )

delete

◆ originalName() [1/2]

const std::string& Token::originalName ( ) const

inline

Returns: the original name.

Definition at line 1193 of file token.h.

References emptyString.

Referenced by TokenList::addtoken(), ValueFlowAnalyzer::analyzeMatch(), CheckIO::ArgumentInfo::ArgumentInfo(), CheckIO::argumentType(), CheckIO::checkFormatString(), CheckMemoryLeakStructMember::checkStructVariable(), Tokenizer::combineOperators(), SymbolDatabase::createSymbolDatabaseIncompleteVars(), clangimport::AstNode::createTokens(), derefShared(), Tokenizer::dump(), TemplateSimplifier::expandTemplate(), SymbolDatabase::findFunction(), getDimensionsEtc(), Library::getFunctionName(), getLifetimeTokens(), CheckIO::getSeverity(), insertToken(), TokenList::insertTokens(), isAddressOfLocalVariable(), isConstFunctionCall(), Tokenizer::isFunctionHead(), isGlobalData(), isOpenParenthesisMemberFunctionCallOfVarId(), CheckNullPointer::isPointerDeRef(), isSameExpression(), isTemporary(), Lambda::Lambda(), CheckNullPointer::nullConstantDereference(), parsedecl(), setTokenValue(), SymbolDatabase::setValueType(), valueFlowAfterMove(), and valueFlowLifetime().

◆ originalName() [2/2]

template<typename T >

void Token::originalName ( T && name )

inline

Sets the original name.

Definition at line 1205 of file token.h.

◆ previous() [1/3]

Token* Token::previous ( )

inline

Definition at line 862 of file token.h.

◆ previous() [2/3]

const Token* Token::previous ( ) const

inline

Definition at line 866 of file token.h.

◆ previous() [3/3]

void Token::previous ( Token * previousToken )

inlineprivate

Definition at line 1258 of file token.h.

◆ printAst()

void Token::printAst	(	bool	verbose,
		bool	xml,
		const std::vector< std::string > &	fileNames,
		std::ostream &	out
	)		const

Definition at line 1681 of file token.cpp.

Referenced by Tokenizer::printDebugOutput().

◆ printLines()

void Token::printLines ( int lines = 5 ) const

print out tokens - used for debugging

Definition at line 1272 of file token.cpp.

References Token::stringifyOptions::forDebugExprId(), linenr(), next(), and stringifyList().

◆ printOut() [1/2]

void Token::printOut	(	const char *	title,
		const std::vector< std::string > &	fileNames
	)		const

For debugging purposes, prints token and all tokens followed by it.

Parameters

title	Title for the printout or use default parameter or 0 for no title.
fileNames	Prints out file name instead of file index. File index should match the index of the string in this vector.

Definition at line 1264 of file token.cpp.

References Token::stringifyOptions::forPrintOut(), and stringifyList().

◆ printOut() [2/2]

void Token::printOut ( const char * title = nullptr ) const

For debugging purposes, prints token and all tokens followed by it.

Parameters

title Title for the printout or use default parameter or 0 for no title.

Definition at line 1257 of file token.cpp.

References Token::stringifyOptions::forPrintOut(), and stringifyList().

Referenced by Tokenizer::printDebugOutput(), and TemplateSimplifier::simplifyTemplates().

◆ printValueFlow()

void Token::printValueFlow	(	bool	xml,
		std::ostream &	out
	)		const

◆ progressValue()

nonneg int Token::progressValue ( ) const

inline

Get progressValue (0 - 100)

Definition at line 1150 of file token.h.

Referenced by SymbolDatabase::createSymbolDatabaseFindAllScopes(), TemplateSimplifier::simplifyTemplateInstantiations(), Tokenizer::simplifyTypedefCpp(), and Tokenizer::simplifyUsing().

◆ removeValues()

void Token::removeValues ( std::function< bool(const ValueFlow::Value &)> pred )

inline

Definition at line 1242 of file token.h.

Referenced by valueFlowSmartPointer().

◆ replace()

void Token::replace	(	Token *	replaceThis,
		Token *	start,
		Token *	end
	)

static

Replace token replaceThis with tokens between start and end, including start and end.

The replaceThis token is deleted.

Parameters

replaceThis	This token will be deleted.
start	This will be in the place of replaceThis
end	This is also in the place of replaceThis

Definition at line 346 of file token.cpp.

References TokensFrontBack::back, mImpl, TokenImpl::mProgressValue, mTokensFrontBack, next(), and previous().

Referenced by Tokenizer::simplifyFunctionParameters(), and Tokenizer::simplifyTypedef().

◆ scope() [1/2]

const Scope* Token::scope ( ) const

inline

Returns: a pointer to the scope containing this token.

Definition at line 1049 of file token.h.

Referenced by insertToken(), typeDecl(), and typeOf().

◆ scope() [2/2]

void Token::scope ( const Scope * s )

inline

Associate this token with given scope.

Parameters

s	Scope to be associated

Definition at line 1042 of file token.h.

◆ scopeInfo() [1/2]

std::shared_ptr< ScopeInfo2 > Token::scopeInfo ( ) const

Definition at line 2514 of file token.cpp.

References mImpl, and TokenImpl::mScopeInfo.

◆ scopeInfo() [2/2]

void Token::scopeInfo ( std::shared_ptr< ScopeInfo2 > newScopeInfo )

Definition at line 2510 of file token.cpp.

References mImpl, and TokenImpl::mScopeInfo.

Referenced by Tokenizer::calculateScopes(), TemplateSimplifier::getTemplateInstantiations(), and insertToken().

◆ setBits()

void Token::setBits ( const unsigned char b )

inline

Definition at line 703 of file token.h.

◆ setCpp11init()

void Token::setCpp11init ( bool cpp11init ) const

inline

Definition at line 1468 of file token.h.

References TokenImpl::CPP11INIT, and TokenImpl::NOINIT.

◆ setCppcheckAttribute()

void Token::setCppcheckAttribute	(	TokenImpl::CppcheckAttributes::Type	type,
		MathLib::bigint	value
	)

inline

Definition at line 536 of file token.h.

◆ setFlag()

void Token::setFlag	(	uint64_t	flag_,
		bool	state_
	)

inlineprivate

Set specified flag state.

Parameters

flag_	flag to set state
state_	new state of flag

Definition at line 1356 of file token.h.

Referenced by update_property_info().

◆ setMacroName()

void Token::setMacroName ( std::string name )

inline

Definition at line 758 of file token.h.

Referenced by TokenList::addtoken(), TokenList::createTokens(), insertToken(), TokenList::insertTokens(), and Tokenizer::simplifyVarDecl().

◆ setRemovedVoidParameter()

void Token::setRemovedVoidParameter ( bool b )

inline

Definition at line 653 of file token.h.

Referenced by Tokenizer::simplifyParameterVoid().

◆ setTokenDebug()

void Token::setTokenDebug ( TokenDebug td )

inline

Definition at line 1478 of file token.h.

Referenced by TokenList::copyTokens().

◆ setUniqueExprId()

void Token::setUniqueExprId ( )

inline

Definition at line 892 of file token.h.

◆ setValueType()

void Token::setValueType ( ValueType * vt )

Definition at line 2325 of file token.cpp.

References mImpl, and TokenImpl::mValueType.

Referenced by clangimport::AstNode::createTokens(), clangimport::AstNode::createTokensCall(), clangimport::AstNode::setValueType(), SymbolDatabase::setValueType(), SymbolDatabase::setValueTypeInTokenList(), and SymbolDatabase::~SymbolDatabase().

◆ simpleMatch() [1/2]

bool Token::simpleMatch	(	const Token *	tok,
		const char	pattern[],
		size_t	pattern_len
	)

static

Definition at line 631 of file token.cpp.

References mStr, and next().

◆ simpleMatch() [2/2]

template<size_t count>

static bool Token::simpleMatch	(	const Token *	tok,
		const char(&)	pattern[count]
	)

inlinestatic

Match given token (or list of tokens) to a pattern list.

Possible patterns "someRandomText" If token contains "someRandomText".

Note: Use Match() if you want to use flags in patterns

The patterns can be also combined to compare to multiple tokens at once by separating tokens with a space, e.g. ") void {" will return true if first token is ')' next token is "void" and token after that is '{'. If even one of the tokens does not match its pattern, false is returned.

Parameters

tok	List of tokens to be compared to the pattern
pattern	The pattern against which the tokens are compared, e.g. "const" or ") void {".

Returns: true if given token matches with given pattern false if given token does not match with given pattern

Definition at line 252 of file token.h.

◆ str() [1/2]

const std::string& Token::str ( ) const

inline

Definition at line 192 of file token.h.

Referenced by astStringZ3(), chrInFirstWord(), deleteThis(), firstWordEquals(), getStrArraySize(), getStrLength(), and isCalculation().

◆ str() [2/2]

template<typename T >

void Token::str ( T && s )

inline

Definition at line 179 of file token.h.

◆ strAt()

const std::string & Token::strAt ( int index ) const

Returns: String of the token in given index, related to this token. If that token does not exist, an empty string is being returned.

Definition at line 423 of file token.cpp.

References emptyString, mStr, and tokAt().

◆ stringify() [1/2]

std::string Token::stringify	(	bool	varid,
		bool	attributes,
		bool	macro
	)		const

Stringify a token.

Parameters

varid	Print varids. (Style: "varname\@id")
attributes	Print attributes of tokens like "unsigned" in front of it.
macro	Prints $ in front of the token if it was expanded from a macro.

Definition at line 1328 of file token.cpp.

References Token::stringifyOptions::attributes, Token::stringifyOptions::macro, stringify(), and Token::stringifyOptions::varid.

◆ stringify() [2/2]

std::string Token::stringify ( const stringifyOptions & options ) const

Definition at line 1280 of file token.cpp.

References Token::stringifyOptions::attributes, eChar, efIsUnique, eString, Token::stringifyOptions::exprid, Token::stringifyOptions::idtype, isComplex(), isExpandedMacro(), isLong(), isName(), isSigned(), isUnsigned(), Token::stringifyOptions::macro, TokenImpl::mExprId, mImpl, mStr, mTokType, TokenImpl::mVarId, and Token::stringifyOptions::varid.

Referenced by CheckIO::argumentType(), CheckOther::checkDuplicateBranch(), and stringify().

◆ stringifyList() [1/4]

std::string Token::stringifyList	(	bool	varid,
		bool	attributes,
		bool	linenumbers,
		bool	linebreaks,
		bool	files,
		const std::vector< std::string > *	fileNames = `nullptr`,
		const Token *	end = `nullptr`
	)		const

Stringify a list of token, from current instance on.

Parameters

varid	Print varids. (Style: "varname\@id")
attributes	Print attributes of tokens like "unsigned" in front of it.
linenumbers	Print line number in front of each line
linebreaks	Insert "\\n" into string when line number changes
files	print Files as numbers or as names (if fileNames is given)
fileNames	Vector of filenames. Used (if given) to print filenames as strings instead of numbers.
end	Stringification ends before this token is reached. 0 to stringify until end of list.

Returns: Stringified token list as a string

Definition at line 1415 of file token.cpp.

References Token::stringifyOptions::attributes, Token::stringifyOptions::files, Token::stringifyOptions::linebreaks, Token::stringifyOptions::linenumbers, Token::stringifyOptions::macro, stringifyList(), and Token::stringifyOptions::varid.

◆ stringifyList() [2/4]

std::string Token::stringifyList ( bool varid = false ) const

Definition at line 1432 of file token.cpp.

References stringifyList().

◆ stringifyList() [3/4]

std::string Token::stringifyList	(	const stringifyOptions &	options,
		const std::vector< std::string > *	fileNames = `nullptr`,
		const Token *	end = `nullptr`
	)		const

Definition at line 1337 of file token.cpp.

References fileIndex(), Token::stringifyOptions::files, Token::stringifyOptions::linebreaks, linenr(), Token::stringifyOptions::linenumbers, TokenImpl::mFileIndex, mImpl, TokenImpl::mLineNumber, and next().

Referenced by CheckOther::checkDuplicateBranch(), isUniqueExpression(), printLines(), printOut(), Tokenizer::simplifySQL(), and stringifyList().

◆ stringifyList() [4/4]

std::string Token::stringifyList	(	const Token *	end,
		bool	attributes = `true`
	)		const

Definition at line 1427 of file token.cpp.

References stringifyList().

◆ strValue()

std::string Token::strValue ( ) const

This can be called only for tokens that are strings, else the assert() is called.

If Token is e.g. '"hello"', this will return 'hello' (removing the double quotes).

Returns: String value

Definition at line 223 of file token.cpp.

References eString, getStringLiteral(), mStr, and mTokType.

Referenced by CheckIO::checkFileUsage().

◆ swapWithNext()

void Token::swapWithNext ( )

Swap the contents of this token with the next token.

Definition at line 285 of file token.cpp.

References mFlags, mImpl, mLink, mNext, mStr, TokenImpl::mTemplateSimplifierPointers, mTokType, and templateSimplifierPointer().

Referenced by Tokenizer::simplifyStaticConst().

◆ takeData()

void Token::takeData ( Token * fromToken )

private

used by deleteThis() to take data from token to delete

Definition at line 311 of file token.cpp.

References link(), mFlags, mImpl, mLink, mStr, TokenImpl::mTemplateSimplifierPointers, mTokType, templateSimplifierPointer(), and tokType().

Referenced by deleteThis().

◆ templateSimplifierPointer()

void Token::templateSimplifierPointer ( TemplateSimplifier::TokenAndName * tokenAndName )

inline

Definition at line 698 of file token.h.

Referenced by swapWithNext(), takeData(), and TemplateSimplifier::TokenAndName::TokenAndName().

◆ templateSimplifierPointers() [1/2]

std::set<TemplateSimplifier::TokenAndName*>* Token::templateSimplifierPointers ( )

inline

Definition at line 695 of file token.h.

◆ templateSimplifierPointers() [2/2]

const std::set<TemplateSimplifier::TokenAndName*>* Token::templateSimplifierPointers ( ) const

inline

Definition at line 692 of file token.h.

◆ tokAt() [1/2]

Token * Token::tokAt ( int index )

Definition at line 398 of file token.cpp.

References index(), and tokAtImpl().

◆ tokAt() [2/2]

const Token * Token::tokAt ( int index ) const

Returns: token in given index, related to this token. For example index 1 would return next token, and 2 would return next from that one.

Definition at line 393 of file token.cpp.

References index(), and tokAtImpl().

◆ tokType() [1/2]

Token::Type Token::tokType ( ) const

inline

Definition at line 343 of file token.h.

Referenced by CheckIO::ArgumentInfo::ArgumentInfo(), CheckIO::argumentType(), CheckBufferOverrun::arrayIndex(), CheckBufferOverrun::arrayIndexThenCheck(), CheckClass::checkConstFunc(), CheckIO::checkFileUsage(), CheckIO::checkFormatString(), CheckUnusedVar::checkFunctionVariableUsage(), CheckUnusedVar::checkFunctionVariableUsage_iterateScopes(), CheckOther::checkIncompleteStatement(), CheckString::checkSuspiciousStringCompare(), CheckAssert::checkVariableAssignment(), Tokenizer::concatenateNegativeNumberAndAnyPositive(), CheckClass::constructors(), CheckOther::constStatementError(), TokenList::copyTokens(), createBuiltinLibraryFunctions(), Tokenizer::createLinks2(), SymbolDatabase::createSymbolDatabaseExprIds(), Tokenizer::dump(), CheckAutoVariables::errorInvalidDeallocation(), function(), getParentValueTypes(), getStrArraySize(), getStrSize(), TemplateSimplifier::getTemplateInstantiations(), TokenList::insertTokens(), CheckIO::invalidScanf(), isConstExpression(), ValueFlowAnalyzer::isGlobalModified(), isSameExpression(), isSimpleExpr(), isUnaryPreOp(), isVariableChanged(), isVariableChangedByFunctionCall(), ContainerExpressionAnalyzer::isWritable(), multiComparePercent(), SymbolDatabase::setValueType(), SymbolDatabase::setValueTypeInTokenList(), Tokenizer::setVarIdPass2(), Tokenizer::simplifyAddBracesPair(), Tokenizer::simplifyTokens1(), CheckStl::size(), CheckSizeof::sizeofFunction(), Tokenizer::sizeOfType(), takeData(), TemplateSimplifier::templateParameters(), type(), update_property_info(), update_property_isStandardType(), valueFlowConditionExpressions(), valueFlowDynamicBufferSize(), valueFlowGetStrLength(), valueFlowSetConstantValue(), valueFlowString(), CheckOther::warningOldStylePointerCast(), and ContainerExpressionAnalyzer::writeValue().

◆ tokType() [2/2]

void Token::tokType ( Token::Type t )

inline

Definition at line 346 of file token.h.

◆ type() [1/2]

const ::Type* Token::type ( ) const

inline

Returns: a pointer to the type associated with this token.

Definition at line 1094 of file token.h.

◆ type() [2/2]

void Token::type ( const ::Type * t )

Associate this token with given type.

Parameters

t	Type to be associated

Definition at line 2333 of file token.cpp.

References eName, eType, Type::isEnumType(), isEnumType(), mImpl, mTokType, TokenImpl::mType, and tokType().

Referenced by CheckClass::checkConst(), CheckMemoryLeakNoVar::checkForUnreleasedInputArgument(), CheckClass::checkMemset(), CheckOther::checkMisusedScopedObject(), CheckLeakAutoVar::checkScope(), CheckClass::constructors(), SymbolDatabase::createSymbolDatabaseSetSmartPointerType(), Tokenizer::dump(), CheckLeakAutoVar::functionCall(), CheckMemoryLeak::getAllocationType(), Function::getOverriddenFunctionRecursive(), Tokenizer::isScopeNoReturn(), isTemporary(), isUnknownType(), Variable::iteratorType(), CheckOther::knownArgumentError(), parsedecl(), SymbolDatabase::printOut(), SymbolDatabase::setValueType(), SymbolDatabase::setValueTypeInTokenList(), SymbolDatabase::sizeOfType(), typeDecl(), typeOf(), valueFlowSetConstantValue(), and SymbolDatabase::~SymbolDatabase().

◆ typeDecl()

std::pair< const Token , const Token > Token::typeDecl	(	const Token *	tok,
		bool	pointedToType = `false`
	)

static

Returns: the declaration associated with this token.

Parameters

pointedToType return the pointed-to type?

Definition at line 2397 of file token.cpp.

References astIsContainer(), astIsIterator(), astIsRangeBasedForDecl(), astIsSmartPointer(), astOperand1(), astOperand2(), astParent(), ValueType::containerTypeToken, Variable::declarationId(), Variable::declEndToken(), Scope::function, function(), link(), linkAt(), Match(), Variable::nameToken(), next(), nextAfterAstRightmostLeaf(), previous(), previousBeforeAstLeftmostLeaf(), Function::retDef, scope(), simpleMatch(), ValueType::smartPointerTypeToken, str(), tokAt(), type(), Variable::typeEndToken(), typeOf(), Variable::typeStartToken(), Variable::valueType(), and variable().

Referenced by astCanonicalType(), getPointerDepth(), isDifferentType(), isLockGuard(), isMutex(), and typeStr().

◆ typeOf()

const ::Type * Token::typeOf	(	const Token *	tok,
		const Token **	typeTok = `nullptr`
	)

static

Definition at line 2343 of file token.cpp.

References astOperand1(), astOperand2(), Scope::function, function(), getArgumentVars(), getLHSVariableToken(), getTokenArgumentFunction(), Match(), next(), previous(), Function::retType, scope(), simpleMatch(), type(), and variable().

Referenced by getArgumentVars(), getParentValueTypes(), isDifferentType(), isTrivialConstructor(), typeDecl(), and valueFlowLifetimeConstructor().

◆ typeStr()

std::string Token::typeStr ( const Token * tok )

static

Definition at line 2496 of file token.cpp.

References ValueType::str(), typeDecl(), and valueType().

Referenced by valueFlowLifetimeFunction().

◆ until()

ConstTokenRange Token::until ( const Token * t ) const

Definition at line 84 of file token.cpp.

◆ update_property_char_string_literal()

void Token::update_property_char_string_literal ( )

private

Update internal property cache about string and char literals.

Definition at line 194 of file token.cpp.

References eChar, eString, isLong(), isPrefixStringCharLiteral(), mStr, and mTokType.

Referenced by update_property_info().

◆ update_property_info()

void Token::update_property_info ( )

private

Updates internal property cache like _isName or _isBoolean.

Called after any mStr() modification.

Definition at line 103 of file token.cpp.

References controlFlowKeywords, eArithmeticalOp, eAssignmentOp, eBitOp, eBoolean, eBracket, eChar, eComparisonOp, eEllipsis, eExtendedOp, eFunction, eIncDecOp, eKeyword, eLogicalOp, eName, eNone, eNumber, eOther, eString, eType, eVariable, fIsControlFlowKeyword, isCharLiteral(), MathLib::isFloat(), MathLib::isInt(), TokenList::isKeyword(), isStringLiteral(), TokensFrontBack::list, mImpl, mLink, mStr, mTokensFrontBack, mTokType, TokenImpl::mVarId, setFlag(), tokType(), update_property_char_string_literal(), and update_property_isStandardType().

Referenced by concatStr().

◆ update_property_isStandardType()

void Token::update_property_isStandardType ( )

private

Update internal property cache about isStandardType()

Definition at line 181 of file token.cpp.

References eType, isStandardType(), mStr, stdTypes, and tokType().

Referenced by update_property_info().

◆ values()

const std::list<ValueFlow::Value>& Token::values ( ) const

inline

Definition at line 1197 of file token.h.

References TokenImpl::mEmptyValueList.

Referenced by CheckCondition::alwaysTrueFalse(), astStringXml(), LifetimeStore::byDerefCopy(), LifetimeStore::byRef(), LifetimeStore::byVal(), PathAnalysis::checkCond(), CheckStl::checkDereferenceInvalidIterator2(), CheckOther::checkKnownArgument(), FwdAnalysis::checkRecursive(), CheckUninitVar::checkScopeForVariable(), compareKnownValue(), Tokenizer::dump(), ValueFlowAnalyzer::evaluate(), ValueFlowAnalyzer::evaluateInt(), ConditionHandler::fillFromPath(), findFormat(), CheckLeakAutoVar::functionCall(), getBufferSizeValue(), getCompareValue(), getContainerValues(), getExpressionRange(), CTU::getFileInfo(), getFunctionArgumentValues(), getInnerLifetime(), getKnownValueFromToken(), ValueFlow::getLifetimeObjValues(), getLifetimeTokens(), getOOBIterValue(), ValueFlowAnalyzer::getSymbols(), ValueFlowPassRunner::getTotalValues(), inferCondition(), isAliasOf(), isAutoVarArray(), CheckStl::isContainerSizeGE(), isKnownEmptyContainer(), isNonZero(), isOutOfBoundsImpl(), ValueFlowAnalyzer::isSameSymbolicValue(), isSameToken(), isStrlenOf(), isUsedAsBool(), ContainerExpressionAnalyzer::isWritable(), makeContainerSizeValue(), match(), minUnsignedValue(), CheckNullPointer::nullConstantDereference(), CheckBufferOverrun::objectIndex(), CheckStl::outOfBounds(), parseCompareEachInt(), printValueFlow(), setTokenValue(), ExpressionAnalyzer::setupExprVarIds(), Tokenizer::simplifyTokens1(), ConditionHandler::skipNotAndCasts(), MultiValueFlowAnalyzer::stopOnCondition(), valueFlowAfterAssign(), valueFlowArrayBool(), valueFlowArrayElement(), ValueFlow::valueFlowConstantFoldAST(), valueFlowContainerSize(), valueFlowDebug(), valueFlowDynamicBufferSize(), valueFlowEnumValue(), valueFlowForwardConst(), valueFlowForwardLifetime(), valueFlowFunctionDefaultParameter(), valueFlowImpossibleValues(), valueFlowInferCondition(), valueFlowIteratorInfer(), valueFlowLifetime(), valueFlowLifetimeFunction(), valueFlowLifetimeUserConstructor(), valueFlowSmartPointer(), valueFlowSymbolicOperators(), CheckOther::warningOldStylePointerCast(), and ContainerExpressionAnalyzer::writeValue().

◆ valueType()

const ValueType* Token::valueType ( ) const

inline

Definition at line 331 of file token.h.

Referenced by ConditionHandler::afterCondition(), CheckNullPointer::arithmetic(), astContainerAction(), astContainerYield(), astIsBool(), astIsCharWithSign(), astIsContainerString(), astIsFloat(), astIsGenericChar(), astIsIntegral(), astIsIterator(), astIsPointer(), astIsPrimitive(), astIsSmartPointer(), astIsUniqueSmartPointer(), astIsUnsigned(), ConditionHandler::beforeCondition(), CheckBufferOverrun::bufferOverflow(), CheckOther::checkCharVariable(), CheckCondition::checkCompareValueOutOfTypeRange(), CheckClass::checkConstFunc(), CheckOther::checkConstPointer(), CheckOther::checkConstVariable(), CheckOther::checkDuplicateExpression(), CheckStl::checkFindInsert(), CheckUnusedVar::checkFunctionVariableUsage(), CheckUnusedVar::checkFunctionVariableUsage_iterateScopes(), CheckCondition::checkIncorrectLogicOperator(), CheckCondition::checkInvalidTestForOverflow(), CheckType::checkLongCast(), CheckCondition::checkPointerAdditionResultNotNull(), FwdAnalysis::checkRecursive(), CheckOther::checkRedundantPointerOp(), CheckOther::checkSignOfUnsignedVariable(), CheckSizeof::checkSizeofForPointerSize(), CheckString::checkSuspiciousStringCompare(), CheckOther::clarifyCalculation(), CheckOther::comparisonNonZeroExpressionLessThanZero(), SymbolDatabase::createSymbolDatabaseSetVariablePointers(), clangimport::AstNode::createTokens(), SymbolDatabase::debugSymbolDatabase(), Tokenizer::dump(), CheckStl::eraseIteratorOutOfBounds(), findExpressionChangedImpl(), SymbolDatabase::findFunction(), Scope::findFunction(), followVariableExpression(), CheckLeakAutoVar::functionCall(), getBufAndOffset(), CheckBufferOverrun::getBufferSize(), getClassScope(), Library::getContainerFromAction(), Library::getContainerFromYield(), getContainerFunction(), getDimensionsEtc(), getEnumType(), getExprUsage(), CTU::getFileInfo(), ContainerExpressionAnalyzer::getIndirect(), getInvalidMethod(), getLibraryContainer(), getParentValueTypes(), getPointerDepth(), getStrSize(), hasOverloadedAssignment(), CheckCondition::identicalConditionAfterEarlyExitError(), CheckClass::initializeVarList(), CheckFunctions::invalidFunctionUsage(), CheckOther::invalidPointerCast(), ValueFlowAnalyzer::isAliasModified(), CheckStl::isContainerSize(), ValueFlow::isContainerSizeChanged(), isContainerSizeChangedByFunction(), CheckBufferOverrun::isCtuUnsafeBufferUsage(), isDifferentType(), isGlobalData(), isIntegralOrPointer(), isIterator(), ValueFlow::isLifetimeBorrowed(), isMapFind(), isNegative(), isNullOperand(), isSameConstantValue(), isSameExpression(), isStdMoveOrStdForwarded(), isTemporary(), isTrivialConstructor(), isVariableChanged(), isVariableChangedByFunctionCall(), CheckUninitVar::isVariableUsage(), isVoidCast(), ContainerExpressionAnalyzer::isWritable(), CheckCondition::multiCondition2(), CheckBufferOverrun::objectIndex(), CheckStl::outOfBoundsError(), parsedecl(), CheckBufferOverrun::pointerArithmetic(), printValueFlow(), SymbolDatabase::printVariable(), CheckLeakAutoVar::ret(), CheckFunctions::returnLocalStdMove(), Library::returnValueType(), setAutoTokenProperties(), setTokenValue(), Variable::setValueType(), SymbolDatabase::setValueType(), SymbolDatabase::setValueTypeInTokenList(), CheckString::sprintfOverlappingData(), CheckStl::stlOutOfBounds(), CheckStl::string_c_str(), CheckOther::testIfNonZeroExpressionIsPositive(), typeStr(), useFunctionArgs(), CheckStl::uselessCalls(), CheckStl::useStlAlgorithm(), valueFlowAfterAssign(), valueFlowContainerSize(), valueFlowDynamicBufferSize(), valueFlowGlobalConstVar(), valueFlowGlobalStaticVar(), valueFlowIsSameContainerType(), valueFlowLifetime(), valueFlowLifetimeClassConstructor(), valueFlowLifetimeConstructor(), valueFlowLifetimeFunction(), valueFlowSetConstantValue(), clangimport::Data::varDecl(), ContainerExpressionAnalyzer::writeValue(), and ValueFlowAnalyzer::writeValue().

◆ variable() [1/2]

const Variable* Token::variable ( ) const

inline

Returns: a pointer to the variable associated with this token.

Definition at line 1081 of file token.h.

◆ variable() [2/2]

void Token::variable ( const Variable * v )

inline

Associate this token with given variable.

Parameters

v	Variable to be associated

Definition at line 1070 of file token.h.

Referenced by ConditionHandler::afterCondition(), CheckIO::ArgumentInfo::ArgumentInfo(), CheckBufferOverrun::argumentSize(), CheckBufferOverrun::arrayIndex(), CheckAutoVariables::assignFunctionArg(), astStringXml(), bifurcate(), CheckBufferOverrun::bufferOverflow(), CheckExceptionSafety::checkCatchExceptionByValue(), CheckOther::checkComparePointers(), CheckBool::checkComparisonOfBoolWithBool(), CheckClass::checkConstFunc(), CheckOther::checkConstPointer(), CheckCondition::checkDuplicateConditionalAssign(), CheckUnusedVar::checkFunctionVariableUsage(), CheckUnusedVar::checkFunctionVariableUsage_iterateScopes(), CheckOther::checkIncompleteArrayFill(), CheckClass::checkMemset(), CheckStl::checkMutexes(), FwdAnalysis::checkRecursive(), CheckOther::checkRedundantCopy(), CheckOther::checkRedundantPointerOp(), CheckUninitVar::checkScopeForVariable(), CheckOther::checkShadowVariables(), CheckSizeof::checkSizeofForArrayParameter(), CheckSizeof::checkSizeofForPointerSize(), CheckClass::checkUnsafeClassRefMember(), CheckOther::checkVariableScope(), CheckAutoVariables::checkVarLifetimeScope(), CheckOther::comparePointersError(), CheckOther::comparisonNonZeroExpressionLessThanZero(), CheckClass::copyconstructors(), clangimport::AstNode::createScope(), SymbolDatabase::createSymbolDatabaseExprIds(), SymbolDatabase::createSymbolDatabaseSetVariablePointers(), Tokenizer::dump(), CheckStl::erase(), CheckAutoVariables::errorInvalidDeallocation(), exprDependsOnThis(), SymbolDatabase::findEnumerator(), findExpressionChangedImpl(), findFormat(), Scope::findFunction(), followAllReferences(), followVariableExpression(), CheckLeakAutoVar::functionCall(), CheckMemoryLeak::functionReturnType(), getArgumentVars(), CheckBufferOverrun::getBufferSize(), getDimensionsEtc(), ValueFlow::getEndOfExprScope(), getExprUsage(), CTU::getFileInfo(), getFunction(), getFunctionUsage(), getLHSVariable(), getLHSVariableRecursive(), getLHSVariablesRecursive(), getLHSVariableToken(), getLifetimeTokens(), ValueFlow::getLifetimeVariable(), getOverrunIndexValues(), getParentLifetime(), getParentVar(), getVariables(), hasUniqueOwnership(), hasUnknownVars(), hasVolatileCastOrVar(), CheckStl::if_find(), CheckClass::initializerListOrder(), CheckClass::initializeVarList(), CheckStl::invalidContainer(), CheckFunctions::invalidFunctionUsage(), isAddressOfLocalVariable(), isArray(), isArrayArg(), isArrayVar(), isAutoVar(), isAutoVarArray(), isBracketAccess(), isConstExpression(), isConstFunctionCall(), isConstVarExpression(), isCpp03ContainerSizeSlow(), isDanglingSubFunction(), isDeadScope(), isExpression(), CheckUninitVar::isFunctionParUsage(), CheckUnusedVar::isFunctionWithoutSideEffects(), isGlobalData(), isInitialVarAssign(), isInScope(), isLocal(), isLocalContainerBuffer(), isLocalVarNoAutoDealloc(), CheckUninitVar::isMemberVariableUsage(), isNonConstFunctionCall(), isNonReferenceArg(), isNullablePointer(), isOutOfBoundsImpl(), CheckNullPointer::isPointerDeRef(), isPtrArg(), CheckUnusedVar::isRecordTypeWithoutSideEffects(), isRefPtrArg(), isSameExpression(), Tokenizer::isScopeNoReturn(), CheckIO::ArgumentInfo::isStdContainer(), isUniqueExpression(), isVarDecl(), isVarDeclOp(), isVariableChanged(), isVariableChangedByFunctionCall(), isVariableDecl(), isVariableMutableInInitializer(), CheckUninitVar::isVariableUsage(), isVector(), isWithoutSideEffects(), CheckStl::iterators(), ValueFlow::lifetimeMessage(), CheckCondition::multiCondition2(), CheckStl::negativeIndex(), CheckNullPointer::nullConstantDereference(), parsedecl(), CheckBufferOverrun::pointerArithmetic(), clangimport::Data::Decl::ref(), CheckFunctions::returnLocalStdMove(), ExpressionAnalyzer::setupExprVarIds(), SymbolDatabase::setValueType(), SymbolDatabase::setValueTypeInTokenList(), skipLocalVars(), CheckStl::string_c_str(), CheckSizeof::suspiciousSizeofCalculation(), typeDecl(), typeOf(), useFunctionArgs(), CheckStl::uselessCalls(), CheckStl::useStlAlgorithm(), CheckVaarg::va_start_argument(), valueFlowAfterMove(), valueFlowArray(), valueFlowArrayBool(), valueFlowContainerSetTokValue(), valueFlowDynamicBufferSize(), valueFlowForLoopSimplifyAfter(), valueFlowForwardAssign(), valueFlowForwardLifetime(), valueFlowGlobalConstVar(), valueFlowGlobalStaticVar(), valueFlowLifetime(), valueFlowLifetimeFunction(), valueFlowPointerAlias(), valueFlowSetConstantValue(), valueFlowSmartPointer(), valueFlowSubFunction(), valueFlowSwitchVariable(), valueFlowUninit(), clangimport::Data::varDecl(), and SymbolDatabase::~SymbolDatabase().

◆ varId() [1/2]

nonneg int Token::varId ( ) const

inline

Definition at line 870 of file token.h.

Referenced by Function::addArguments(), ConditionHandler::afterCondition(), CheckAutoVariables::assignFunctionArg(), CheckClass::assignVar(), astHasVar(), astIsVariableComparison(), astStringXml(), bifurcate(), CheckLeakAutoVar::changeAllocStatus(), CheckLeakAutoVar::changeAllocStatusIfRealloc(), CheckBoost::checkBoostForeachModification(), CheckOther::checkComparePointers(), CheckBool::checkComparisonOfBoolWithBool(), CheckBool::checkComparisonOfBoolWithInt(), CheckClass::checkConstFunc(), CheckStl::checkDereferenceInvalidIterator(), CheckCondition::checkDuplicateConditionalAssign(), CheckOther::checkDuplicateExpression(), CheckUninitVar::checkExpr(), CheckIO::checkFileUsage(), CheckOther::checkFuncArgNamesDifferent(), CheckUnusedVar::checkFunctionVariableUsage_iterateScopes(), CheckOther::checkInnerScope(), CheckOther::checkInvalidFree(), CheckCondition::checkInvalidTestForOverflow(), CheckOther::checkMisusedScopedObject(), CheckMemoryLeakInClass::checkPublicFunctions(), CheckMemoryLeakInFunction::checkReallocUsage(), FwdAnalysis::checkRecursive(), CheckExceptionSafety::checkRethrowCopy(), CheckUninitVar::checkRhs(), CheckLeakAutoVar::checkScope(), CheckUninitVar::checkScopeForVariable(), CheckClass::checkSelfInitialization(), CheckOther::checkShadowVariables(), CheckSizeof::checkSizeofForPointerSize(), CheckMemoryLeakStructMember::checkStructVariable(), CheckLeakAutoVar::checkTokenInsideExpression(), Scope::checkVariable(), CheckOther::checkVariableScope(), conditionAlwaysTrueOrFalse(), CheckClass::copyconstructors(), TokenList::copyTokens(), SymbolDatabase::createSymbolDatabaseExprIds(), SymbolDatabase::createSymbolDatabaseVariableSymbolTable(), Library::detectContainerInternal(), doAssignment(), Tokenizer::dump(), CheckStl::eraseCheckLoopVar(), SymbolDatabase::findFunction(), findmatch(), findVarBound(), SymbolDatabase::fixVarId(), followAllReferences(), followVariableExpression(), CheckLeakAutoVar::functionCall(), CheckMemoryLeak::getDeallocationType(), FwdAnalysis::getExprVarIds(), getLifetimeTokens(), MultiValueFlowAnalyzer::getValue(), getVariableValues(), getVarIds(), CheckClass::hasAllocation(), hasUnknownVars(), ifvar(), CheckClass::initializeVarList(), Tokenizer::initVar(), TokenList::insertTokens(), CheckStl::invalidContainer(), SingleValueFlowAnalyzer::isAlias(), MultiValueFlowAnalyzer::isAlias(), isAliasOf(), isCalculation(), iscast(), isConstStatement(), isExpressionChangedAt(), SymbolDatabase::isFunction(), isGlobalData(), isInitialVarAssign(), CheckClass::isMemberVar(), Library::isNotLibraryFunction(), isNullablePointer(), CheckNullPointer::isPointerDeRef(), isSameExpression(), isSimpleExpr(), isType(), isVarDeclOp(), ExpressionAnalyzer::isVariable(), isVariableChangedByFunctionCall(), Scope::isVariableDeclaration(), isVariableExpression(), isVariableUsed(), isVarUsedInTree(), isVLAIndex(), isWithoutSideEffects(), CheckStl::iterators(), CheckLeakAutoVar::leakIfAllocated(), MultiValueFlowAnalyzer::match(), match(), multiComparePercent(), CheckCondition::multiCondition2(), notvar(), CheckNullPointer::nullConstantDereference(), parsedecl(), CheckUnusedFunctions::parseTokens(), FwdAnalysis::possiblyAliased(), clangimport::Data::Decl::ref(), CheckLeakAutoVar::ret(), ExpressionAnalyzer::setupExprVarIds(), Tokenizer::setVarId(), setVarIdClassDeclaration(), Tokenizer::setVarIdClassFunction(), Tokenizer::setVarIdPass1(), Tokenizer::setVarIdPass2(), setVarIdStructMembers(), Tokenizer::simplifyArrayAccessSyntax(), Tokenizer::simplifyRedundantParentheses(), Tokenizer::simplifyVarDecl(), singleIncrementInScope(), CheckStl::stlOutOfBounds(), MultiValueFlowAnalyzer::stopOnCondition(), useFunctionArgs(), CheckStl::uselessCalls(), CheckFunctions::useStandardLibrary(), CheckStl::useStlAlgorithm(), CheckVaarg::va_list_usage(), valueFlowAfterMove(), valueFlowArray(), valueFlowDynamicBufferSize(), valueFlowForLoopSimplify(), valueFlowForLoopSimplifyAfter(), valueFlowForwardConst(), valueFlowLifetime(), valueFlowNumber(), valueFlowSetConstantValue(), clangimport::Data::varDecl(), and CheckMemoryLeakInClass::variable().

◆ varId() [2/2]

void Token::varId ( nonneg int id )

inline

Definition at line 873 of file token.h.

Friends And Related Function Documentation

◆ TestToken

friend class TestToken

friend

Definition at line 151 of file token.h.

Member Data Documentation

◆ mFlags

uint64_t Token::mFlags {}

private

Definition at line 1338 of file token.h.

Referenced by swapWithNext(), and takeData().

◆ mImpl

TokenImpl* Token::mImpl {}

private

◆ mLink

Token* Token::mLink {}

private

Definition at line 1283 of file token.h.

Referenced by deleteNext(), deletePrevious(), swapWithNext(), takeData(), and update_property_info().

◆ mNext

Token* Token::mNext {}

private

Definition at line 1281 of file token.h.

Referenced by deleteNext(), deleteThis(), isUnaryPreOp(), and swapWithNext().

◆ mPrevious

Token* Token::mPrevious {}

private

Definition at line 1282 of file token.h.

Referenced by assignIndexes(), deletePrevious(), deleteThis(), findClosingBracket(), and isUnaryPreOp().

◆ mStr

std::string Token::mStr

private

Definition at line 1279 of file token.h.

Referenced by concatStr(), findClosingBracket(), findOpeningBracket(), insertToken(), isUpperCaseName(), simpleMatch(), strAt(), stringify(), strValue(), swapWithNext(), takeData(), update_property_char_string_literal(), update_property_info(), and update_property_isStandardType().

◆ mTokensFrontBack

TokensFrontBack& Token::mTokensFrontBack

private

Definition at line 154 of file token.h.

Referenced by deleteNext(), deletePrevious(), insertToken(), isC(), isCpp(), printValueFlow(), replace(), and update_property_info().

◆ mTokType

Token::Type Token::mTokType = eNone

private

Definition at line 1336 of file token.h.

Referenced by function(), getStrLength(), stringify(), strValue(), swapWithNext(), takeData(), type(), update_property_char_string_literal(), and update_property_info().

The documentation for this class was generated from the following files:

Classes

Public Types

Public Member Functions

Static Public Member Functions

Private Types

Private Member Functions

Static Private Member Functions

Private Attributes

Friends

Detailed Description

Member Enumeration Documentation

◆ anonymous enum

◆ anonymous enum

◆ Type

Constructor & Destructor Documentation

◆ Token() [1/3]

◆ Token() [2/3]

◆ Token() [3/3]

◆ ~Token()

Member Function Documentation

◆ addValue()

◆ argumentType()

◆ assignIndexes()

◆ assignProgressValues()

◆ astOperand1() [1/3]

◆ astOperand1() [2/3]

◆ astOperand1() [3/3]

◆ astOperand2() [1/3]

◆ astOperand2() [2/3]

◆ astOperand2() [3/3]

◆ astParent() [1/3]

◆ astParent() [2/3]

◆ astParent() [3/3]

◆ astSibling() [1/2]

◆ astSibling() [2/2]

◆ astString()

◆ astStringVerbose()

◆ astStringVerboseRecursive()

◆ astStringZ3()

◆ astTop() [1/2]

◆ astTop() [2/2]

◆ bits()

◆ chrInFirstWord()

◆ clearValueFlow()

◆ column() [1/2]

◆ column() [2/2]

◆ concatStr()

◆ createMutualLinks()

◆ deleteNext()

◆ deletePrevious()

◆ deleteThis()

◆ enumerator() [1/2]

◆ enumerator() [2/2]

◆ eraseTokens()

◆ expressionString()

◆ exprId() [1/2]

◆ exprId() [2/2]

◆ fileIndex() [1/2]

◆ fileIndex() [2/2]

◆ findClosingBracket() [1/2]

◆ findClosingBracket() [2/2]

◆ findExpressionStartEndTokens()

◆ findmatch() [1/4]

◆ findmatch() [2/4]

◆ findmatch() [3/4]

◆ findmatch() [4/4]

◆ findOpeningBracket() [1/2]

◆ findOpeningBracket() [2/2]

◆ findsimplematch() [1/8]

◆ findsimplematch() [2/8]

◆ findsimplematch() [3/8]

◆ findsimplematch() [4/8]

◆ findsimplematch() [5/8]

◆ findsimplematch() [6/8]

◆ findsimplematch() [7/8]

◆ findsimplematch() [8/8]

◆ firstWordEquals()

◆ flags() [1/2]

◆ flags() [2/2]

◆ function() [1/2]