Cppcheck
|
#include <symboldatabase.h>
Classes | |
struct | UsingInfo |
Public Types | |
enum | ScopeType { eGlobal , eClass , eStruct , eUnion , eNamespace , eFunction , eIf , eElse , eFor , eWhile , eDo , eSwitch , eUnconditional , eTry , eCatch , eLambda , eEnum } |
Public Member Functions | |
Scope (const SymbolDatabase *check_, const Token *classDef_, const Scope *nestedIn_) | |
Scope (const SymbolDatabase *check_, const Token *classDef_, const Scope *nestedIn_, ScopeType type_, const Token *start_) | |
void | setBodyStartEnd (const Token *start) |
bool | isAnonymous () const |
const Enumerator * | findEnumerator (const std::string &name) const |
bool | isNestedIn (const Scope *outer) const |
bool | isClassOrStruct () const |
bool | isClassOrStructOrUnion () const |
bool | isExecutable () const |
bool | isLoopScope () const |
bool | isLocal () const |
bool | hasInlineOrLambdaFunction () const |
const Function * | findFunction (const Token *tok, bool requireConst=false) const |
find a function More... | |
const Scope * | findRecordInNestedList (const std::string &name, bool isC=false) const |
Scope * | findRecordInNestedList (const std::string &name, bool isC=false) |
const Type * | findType (const std::string &name) const |
Type * | findType (const std::string &name) |
Scope * | findInNestedListRecursive (const std::string &name) |
find if name is in nested list More... | |
void | addVariable (const Token *token_, const Token *start_, const Token *end_, AccessControl access_, const Type *type_, const Scope *scope_, const Settings &settings) |
void | getVariableList (const Settings &settings) |
initialize varlist More... | |
const Function * | getDestructor () const |
void | addFunction (Function func) |
AccessControl | defaultAccess () const |
const Token * | checkVariable (const Token *tok, AccessControl varaccess, const Settings &settings) |
check if statement is variable declaration and add it if it is More... | |
const Variable * | getVariable (const std::string &varname) const |
get variable from name More... | |
const Token * | addEnum (const Token *tok) |
const Scope * | findRecordInBase (const std::string &name) const |
std::vector< const Scope * > | findAssociatedScopes () const |
Static Public Member Functions | |
static Function * | nestedInFunction (const Scope *scope) |
Public Attributes | |
const SymbolDatabase * | check {} |
std::string | className |
const Token * | classDef {} |
class/struct/union/namespace token More... | |
const Token * | bodyStart {} |
'{' token More... | |
const Token * | bodyEnd {} |
'}' token More... | |
std::list< Function > | functionList |
std::multimap< std::string, const Function * > | functionMap |
std::list< Variable > | varlist |
const Scope * | nestedIn {} |
std::vector< Scope * > | nestedList |
nonneg int | numConstructors {} |
nonneg int | numCopyOrMoveConstructors {} |
std::vector< UsingInfo > | usingList |
ScopeType | type {} |
Type * | definedType {} |
std::map< std::string, Type * > | definedTypesMap |
std::vector< const Token * > | bodyStartList |
const Scope * | functionOf {} |
scope this function belongs to More... | |
Function * | function {} |
function info for this function More... | |
const Token * | enumType {} |
bool | enumClass {} |
std::vector< Enumerator > | enumeratorList |
Private Member Functions | |
bool | isVariableDeclaration (const Token *const tok, const Token *&vartok, const Token *&typetok) const |
helper function for getVariableList() More... | |
void | findFunctionInBase (const std::string &name, nonneg int args, std::vector< const Function * > &matches) const |
void | getVariableList (const Settings &settings, const Token *start, const Token *end) |
initialize varlist More... | |
Friends | |
class | TestSymbolDatabase |
Definition at line 1014 of file symboldatabase.h.
enum Scope::ScopeType |
Enumerator | |
---|---|
eGlobal | |
eClass | |
eStruct | |
eUnion | |
eNamespace | |
eFunction | |
eIf | |
eElse | |
eFor | |
eWhile | |
eDo | |
eSwitch | |
eUnconditional | |
eTry | |
eCatch | |
eLambda | |
eEnum |
Definition at line 1024 of file symboldatabase.h.
Scope::Scope | ( | const SymbolDatabase * | check_, |
const Token * | classDef_, | ||
const Scope * | nestedIn_ | ||
) |
Definition at line 4704 of file symboldatabase.cpp.
References classDef, className, eClass, eEnum, eFunction, eGlobal, eLambda, eNamespace, enumClass, eStruct, eUnion, Token::isCpp(), Token::Match(), Token::next(), skipScopeIdentifiers(), Token::str(), and type.
Scope::Scope | ( | const SymbolDatabase * | check_, |
const Token * | classDef_, | ||
const Scope * | nestedIn_, | ||
ScopeType | type_, | ||
const Token * | start_ | ||
) |
Definition at line 4695 of file symboldatabase.cpp.
References setBodyStartEnd().
Definition at line 5091 of file symboldatabase.cpp.
References Enumerator::end, enumeratorList, enumType, Token::isCpp(), Token::link(), Token::linkAt(), Token::Match(), Enumerator::name, Token::next(), Enumerator::start, and Token::str().
Referenced by SymbolDatabase::createSymbolDatabaseFindAllScopes().
|
inline |
Definition at line 1153 of file symboldatabase.h.
References Token::str(), and Function::tokenDef.
Referenced by SymbolDatabase::addGlobalFunctionDecl().
void Scope::addVariable | ( | const Token * | token_, |
const Token * | start_, | ||
const Token * | end_, | ||
AccessControl | access_, | ||
const Type * | type_, | ||
const Scope * | scope_, | ||
const Settings & | settings | ||
) |
Definition at line 4760 of file symboldatabase.cpp.
References varlist.
Referenced by checkVariable(), and SymbolDatabase::createSymbolDatabaseFindAllScopes().
const Token * Scope::checkVariable | ( | const Token * | tok, |
AccessControl | varaccess, | ||
const Settings & | settings | ||
) |
check if statement is variable declaration and add it if it is
tok | pointer to start of statement |
varaccess | access control of statement |
settings | Settings |
Definition at line 4894 of file symboldatabase.cpp.
References addVariable(), check, Standards::cpp, Standards::CPP17, SymbolDatabase::debugMessage(), Token::findmatch(), Token::findsimplematch(), findVariableTypeIncludingUsedNamespaces(), Token::isBoolean(), Token::isCpp(), Token::isKeyword(), isVariableDeclaration(), Token::link(), Token::linkAt(), Token::Match(), Token::next(), Token::previous(), Token::simpleMatch(), Settings::standards, Token::str(), Token::tokAt(), type, and Token::varId().
Referenced by SymbolDatabase::createSymbolDatabaseFindAllScopes(), and getVariableList().
AccessControl Scope::defaultAccess | ( | ) | const |
Definition at line 4742 of file symboldatabase.cpp.
References eClass, eGlobal, eNamespace, eStruct, eUnion, Global, Local, Namespace, Private, Public, and type.
Referenced by clangimport::AstNode::createScope(), and getVariableList().
std::vector< const Scope * > Scope::findAssociatedScopes | ( | ) | const |
Definition at line 5534 of file symboldatabase.cpp.
References Type::classScope, contains(), definedType, Type::derivedFrom, findAssociatedScopes(), isClassOrStruct(), and Type::type().
Referenced by exprDependsOnThis(), and findAssociatedScopes().
|
inline |
Definition at line 1069 of file symboldatabase.h.
Referenced by SymbolDatabase::findEnumerator().
find a function
tok | token of function call |
requireConst | if const refers to a const variable only const methods should be matched |
Definition at line 5643 of file symboldatabase.cpp.
References Function::argCount(), Token::astOperand1(), Token::astParent(), checkVariableCallMatch(), Type::classScope, ValueType::constness, eNamespace, ValueType::FALLBACK1, ValueType::FALLBACK2, findFunctionInBase(), function, functionOf, getArguments(), Function::getArgumentVar(), getTypeString(), hasMatchingConstructor(), isClassOrStruct(), Function::isConst(), Token::isEnumerator(), MathLib::isNullValue(), Variable::isPointer(), Variable::isSmartPointer(), Variable::isStlStringType(), Token::isUnaryOp(), Function::isVariadic(), Token::Match(), ValueType::matchParameter(), Function::minArgCount(), Function::nestedIn, nestedIn, nestedList, Token::next(), nextAfterAstRightmostLeaf(), ValueType::NOMATCH, ValueType::pointer, Token::previous(), ValueType::SAME, Token::scope(), ValueType::sign, ValueType::smartPointerTypeToken, Token::str(), Variable::type(), ValueType::type, Variable::typeStartToken(), Variable::valueType(), Token::valueType(), Token::variable(), and ValueType::volatileness.
Referenced by CheckClass::checkConstFunc(), SymbolDatabase::createSymbolDatabaseSetFunctionPointers(), SymbolDatabase::findFunction(), and SymbolDatabase::setValueType().
|
private |
Definition at line 5485 of file symboldatabase.cpp.
References Function::argCount(), Type::classScope, definedType, Type::derivedFrom, findFunctionInBase(), functionMap, isClassOrStruct(), Function::isVariadic(), Function::minArgCount(), and Type::type().
Referenced by findFunction(), and findFunctionInBase().
Scope * Scope::findInNestedListRecursive | ( | const std::string & | name | ) |
find if name is in nested list
name | name of nested scope |
Definition at line 6152 of file symboldatabase.cpp.
References findInNestedListRecursive(), and nestedList.
Referenced by SymbolDatabase::createSymbolDatabaseFindAllScopes(), and findInNestedListRecursive().
const Scope * Scope::findRecordInBase | ( | const std::string & | name | ) | const |
Definition at line 5510 of file symboldatabase.cpp.
References Type::classScope, definedType, Type::derivedFrom, findType(), isClassOrStruct(), Type::name(), and Type::type().
Referenced by SymbolDatabase::findType().
Scope * Scope::findRecordInNestedList | ( | const std::string & | name, |
bool | isC = false |
||
) |
Definition at line 6108 of file symboldatabase.cpp.
const Scope * Scope::findRecordInNestedList | ( | const std::string & | name, |
bool | isC = false |
||
) | const |
Definition at line 6103 of file symboldatabase.cpp.
Referenced by SymbolDatabase::addClassFunction(), SymbolDatabase::findEnumerator(), findEnumScopeInBase(), SymbolDatabase::findFunction(), SymbolDatabase::findFunctionInScope(), SymbolDatabase::findScope(), SymbolDatabase::findType(), SymbolDatabase::findTypeInNested(), and SymbolDatabase::findVariableType().
Type * Scope::findType | ( | const std::string & | name | ) |
Definition at line 6145 of file symboldatabase.cpp.
const Type * Scope::findType | ( | const std::string & | name | ) | const |
Definition at line 6140 of file symboldatabase.cpp.
Referenced by SymbolDatabase::createSymbolDatabaseSetVariablePointers(), findRecordInBase(), SymbolDatabase::findType(), SymbolDatabase::findTypeInNested(), SymbolDatabase::findVariableType(), SymbolDatabase::findVariableTypeInBase(), and Variable::smartPointerType().
const Function * Scope::getDestructor | ( | ) | const |
Definition at line 6170 of file symboldatabase.cpp.
References functionList.
Referenced by CheckMemoryLeakStructMember::checkStructVariable(), isRaiiClassScope(), and CheckClass::virtualDestructor().
const Variable * Scope::getVariable | ( | const std::string & | varname | ) | const |
get variable from name
varname | name of variable |
Definition at line 4971 of file symboldatabase.cpp.
References Type::classScope, definedType, Type::derivedFrom, getVariable(), Type::BaseInfo::type, and varlist.
Referenced by SymbolDatabase::createSymbolDatabaseSetVariablePointers(), SymbolDatabase::createSymbolDatabaseVariableSymbolTable(), getVariable(), and CheckClass::initializerListOrder().
void Scope::getVariableList | ( | const Settings & | settings | ) |
initialize varlist
Definition at line 4770 of file symboldatabase.cpp.
References bodyStartList, check, eGlobal, SymbolDatabase::mTokenizer, Tokenizer::tokens(), and type.
|
private |
initialize varlist
Definition at line 4786 of file symboldatabase.cpp.
References Token::astOperand2(), checkVariable(), classDef, defaultAccess(), Token::isKeyword(), Token::link(), Token::Match(), Token::next(), Token::previous(), Private, Protected, Public, Token::simpleMatch(), Token::str(), and Token::tokAt().
bool Scope::hasInlineOrLambdaFunction | ( | ) | const |
Definition at line 5470 of file symboldatabase.cpp.
References nestedList.
Referenced by CheckLeakAutoVar::check(), and CheckUnusedVar::checkFunctionVariableUsage().
|
inline |
Definition at line 1064 of file symboldatabase.h.
References startsWith().
|
inline |
Definition at line 1098 of file symboldatabase.h.
Referenced by CheckAssert::assertWithSideEffects(), CheckIO::checkFileUsage(), SymbolDatabase::createSymbolDatabaseFindAllScopes(), Variable::evaluate(), exprDependsOnThis(), findAssociatedScopes(), findFunction(), findFunctionInBase(), findRecordInBase(), SymbolDatabase::findType(), SymbolDatabase::findTypeInNested(), SymbolDatabase::findVariableType(), getAllVariableMembers(), getClassScope(), CheckClass::getFileInfo(), Function::getOverloadedFunctions(), Function::getOverriddenFunction(), and SymbolDatabase::setValueTypeInTokenList().
|
inline |
Definition at line 1102 of file symboldatabase.h.
Referenced by CheckOther::checkShadowVariables(), SymbolDatabase::createSymbolDatabaseFindAllScopes(), Function::Function(), SymbolDatabase::isFunction(), and Variable::isMember().
|
inline |
Definition at line 1106 of file symboldatabase.h.
Referenced by clangimport::AstNode::addFullScopeNameTokens(), CheckUninitVar::check(), CheckUnusedVar::checkFunctionVariableUsage_iterateScopes(), CheckOther::checkIncompleteStatement(), CheckLeakAutoVar::checkScope(), CheckOther::checkShadowVariables(), SymbolDatabase::createSymbolDatabaseFindAllScopes(), SymbolDatabase::createSymbolDatabaseIncompleteVars(), SymbolDatabase::findFunction(), findShadowed(), getEndOfVarScope(), CTU::getFileInfo(), CTU::getUnsafeUsage(), SymbolDatabase::setValueTypeInTokenList(), CheckStl::stlBoundaries(), and SymbolDatabase::validateExecutableScopes().
|
inline |
Definition at line 1114 of file symboldatabase.h.
Referenced by CheckOther::checkConstVariable(), fillProgramMemoryFromConditions(), PathAnalysis::findOuterScope(), and inBooleanFunction().
|
inline |
Definition at line 1110 of file symboldatabase.h.
Referenced by CheckStl::checkDereferenceInvalidIterator(), CheckOther::checkInnerScope(), findNextTokenFromBreak(), getEndOfVarScope(), CheckBool::pointerArithBool(), and CheckStl::stlOutOfBounds().
|
inline |
Definition at line 1076 of file symboldatabase.h.
References nestedIn.
Referenced by valueFlowLifetime().
|
private |
helper function for getVariableList()
tok | pointer to token to check |
vartok | populated with pointer to the variable token, if found |
typetok | populated with pointer to the type token, if found |
Definition at line 5018 of file symboldatabase.cpp.
References check, Standards::cpp, Standards::CPP11, eCatch, Token::isCpp(), Token::link(), Token::linkAt(), Token::Match(), SymbolDatabase::mSettings, Token::next(), Token::simpleMatch(), skipPointers(), skipPointersAndQualifiers(), skipScopeIdentifiers(), Settings::standards, Token::str(), Token::strAt(), Token::tokAt(), type, and Token::varId().
Referenced by checkVariable().
Definition at line 1087 of file symboldatabase.h.
References eFunction, function, nestedIn, and type.
Referenced by findExpression(), isDanglingSubFunction(), and valueFlowForward().
|
inline |
Definition at line 1057 of file symboldatabase.h.
References Token::link().
Referenced by SymbolDatabase::addNewFunction(), SymbolDatabase::createSymbolDatabaseFindAllScopes(), and Scope().
|
friend |
Definition at line 1016 of file symboldatabase.h.
const Token* Scope::bodyEnd {} |
'}' token
Definition at line 1033 of file symboldatabase.h.
Referenced by SymbolDatabase::addNewFunction(), ConditionHandler::afterCondition(), CheckCondition::alwaysTrueFalse(), CheckBufferOverrun::argumentSize(), CheckNullPointer::arithmetic(), CheckBufferOverrun::arrayIndex(), CheckBufferOverrun::arrayIndexThenCheck(), CheckAssert::assertWithSideEffects(), CheckAutoVariables::assignFunctionArg(), CheckAutoVariables::autoVariables(), CheckBufferOverrun::bufferOverflow(), CheckOther::checkAccessOfMovedVariable(), CheckBool::checkAssignBoolToFloat(), CheckBool::checkAssignBoolToPointer(), CheckCondition::checkAssignmentInCondition(), CheckBool::checkBitwiseOnBoolean(), CheckBoost::checkBoostForeachModification(), CheckOther::checkCastIntToCharAndBack(), CheckOther::checkCharVariable(), CheckOther::checkComparePointers(), CheckCondition::checkCompareValueOutOfTypeRange(), CheckOther::checkComparisonFunctionIsAlwaysTrueOrFalse(), CheckBool::checkComparisonOfBoolExpressionWithInt(), CheckBool::checkComparisonOfBoolWithBool(), CheckBool::checkComparisonOfBoolWithInt(), CheckBool::checkComparisonOfFuncReturningBool(), CheckClass::checkConstFunc(), CheckOther::checkConstVariable(), CheckIO::checkCoutCerrMisusage(), CheckOther::checkDuplicateBranch(), CheckCondition::checkDuplicateConditionalAssign(), CheckOther::checkDuplicateExpression(), CheckOther::checkEvaluationOrder(), CheckIO::checkFileUsage(), CheckStl::checkFindInsert(), CheckMemoryLeakNoVar::checkForUnreleasedInputArgument(), CheckMemoryLeakNoVar::checkForUnsafeArgAlloc(), CheckMemoryLeakNoVar::checkForUnusedReturnValue(), CheckUnusedVar::checkFunctionVariableUsage(), CheckUnusedVar::checkFunctionVariableUsage_iterateScopes(), CheckFunctions::checkIgnoredReturnValue(), CheckOther::checkIncompleteArrayFill(), CheckCondition::checkIncorrectLogicOperator(), CheckString::checkIncorrectStringCompare(), CheckBool::checkIncrementBoolean(), CheckOther::checkInvalidFree(), CheckOther::checkKnownArgument(), CheckOther::checkKnownPointerToBool(), CheckType::checkLongCast(), CheckFunctions::checkMathFunctions(), CheckClass::checkMemset(), CheckFunctions::checkMissingReturn(), CheckOther::checkMisusedScopedObject(), CheckCondition::checkModuloAlwaysTrueFalse(), CheckOther::checkOverlappingWrite(), CheckCondition::checkPointerAdditionResultNotNull(), CheckFunctions::checkProhibitedFunctions(), CheckMemoryLeakInFunction::checkReallocUsage(), CheckOther::checkRedundantAssignment(), CheckOther::checkRedundantCopy(), CheckExceptionSafety::checkRethrowCopy(), CheckUninitVar::checkScope(), CheckLeakAutoVar::checkScope(), CheckOther::checkSignOfUnsignedVariable(), CheckSizeof::checkSizeofForArrayParameter(), CheckSizeof::checkSizeofForNumericParameter(), CheckSizeof::checkSizeofForPointerSize(), CheckUninitVar::checkStruct(), CheckUnusedVar::checkStructMemberUsage(), CheckMemoryLeakStructMember::checkStructVariable(), CheckOther::checkSuspiciousCaseInSwitch(), CheckString::checkSuspiciousStringCompare(), CheckClass::checkThisUseAfterFree(), CheckClass::checkThisUseAfterFreeRecursive(), CheckOther::checkUnreachableCode(), CheckOther::checkUnusedLabel(), CheckClass::checkUselessOverride(), CheckOther::checkVarFuncNullUB(), CheckAutoVariables::checkVarLifetime(), CheckIO::checkWrongPrintfScanfArguments(), CheckOther::clarifyCalculation(), CheckCondition::clarifyCondition(), CheckOther::clarifyStatement(), CheckClass::copyconstructors(), Summaries::create(), clangimport::AstNode::createScope(), SymbolDatabase::createSymbolDatabaseExprIds(), SymbolDatabase::createSymbolDatabaseFindAllScopes(), clangimport::AstNode::createTokens(), clangimport::AstNode::createTokensFunctionDecl(), CheckExceptionSafety::deallocThrow(), CheckExceptionSafety::destructors(), CheckStl::eraseCheckLoopVar(), fillProgramMemoryFromConditions(), findAllUsages(), findExpression(), findNextTokenFromBreak(), Function::findReturns(), followVariableExpression(), PathAnalysis::forward(), CheckLeakAutoVar::functionCall(), CheckMemoryLeak::functionReturnType(), getEndOfVarScope(), getEnumType(), CTU::getFileInfo(), CheckClass::getFileInfo(), getFunctionUsage(), getSingleFunctionCall(), getSingleReturnVar(), getUnsafeFunction(), CheckClass::hasAllocation(), CheckClass::hasAllocationInIfScope(), CheckClass::hasAssignSelf(), CheckClass::initializationListUsage(), CheckClass::initializeVarList(), CheckStl::invalidContainer(), CheckFunctions::invalidFunctionUsage(), CheckOther::invalidPointerCast(), CheckIO::invalidScanf(), isAliased(), isCallFunction(), isContainerSizeChangedByFunction(), isDeadScope(), CheckUnusedVar::isFunctionWithoutSideEffects(), CheckMemoryLeakStructMember::isMalloc(), isSimpleExpr(), isVariableChanged(), CheckStl::iterators(), CheckFunctions::memsetInvalid2ndParam(), CheckFunctions::memsetZeroBytes(), CheckStl::mismatchingContainerIterator(), CheckStl::mismatchingContainers(), CheckStl::missingComparison(), CheckCondition::multiCondition2(), CheckBufferOverrun::negativeArraySize(), CheckStl::negativeIndex(), CheckNullPointer::nullConstantDereference(), CheckBufferOverrun::objectIndex(), CheckString::overlappingStrcmp(), CheckBool::pointerArithBool(), Check64BitPortability::pointerassignment(), CheckPostfixOperator::postfixOperator(), CheckClass::privateFunctions(), CheckOther::redundantBitwiseOperationInSwitchError(), CheckLeakAutoVar::ret(), CheckBool::returnValueOfFunctionReturningBool(), CheckStl::size(), CheckString::sprintfOverlappingData(), CheckStl::stlBoundaries(), CheckStl::stlOutOfBounds(), CheckStl::string_c_str(), CheckString::stringLiteralWrite(), CheckBufferOverrun::stringNotZeroTerminated(), CheckString::strPlusChar(), ConditionHandler::traverseCondition(), CheckExceptionSafety::unhandledExceptionSpecification(), CheckStl::uselessCalls(), CheckVaarg::va_start_argument(), valueFlowAfterAssign(), valueFlowAfterMove(), valueFlowAfterSwap(), valueFlowConditionExpressions(), valueFlowContainerSize(), valueFlowDynamicBufferSize(), valueFlowForLoopSimplifyAfter(), valueFlowForward(), valueFlowForwardLifetime(), valueFlowInjectParameter(), valueFlowSafeFunctions(), valueFlowSubFunction(), valueFlowSwitchVariable(), valueFlowSymbolic(), valueFlowSymbolicInfer(), valueFlowSymbolicOperators(), CheckUninitVar::valueFlowUninit(), valueFlowUninit(), CheckMemoryLeakInClass::variable(), variableIsUsedInScope(), and CheckOther::warningOldStylePointerCast().
const Token* Scope::bodyStart {} |
'{' token
Definition at line 1032 of file symboldatabase.h.
Referenced by CheckCondition::alwaysTrueFalse(), CheckBufferOverrun::argumentSize(), CheckNullPointer::arithmetic(), CheckBufferOverrun::arrayIndex(), CheckBufferOverrun::arrayIndexThenCheck(), CheckAssert::assertWithSideEffects(), CheckAutoVariables::assignFunctionArg(), CheckAutoVariables::autoVariables(), CheckBufferOverrun::bufferOverflow(), CheckLeakAutoVar::check(), CheckOther::checkAccessOfMovedVariable(), CheckBool::checkAssignBoolToFloat(), CheckBool::checkAssignBoolToPointer(), CheckCondition::checkAssignmentInCondition(), CheckBool::checkBitwiseOnBoolean(), CheckBoost::checkBoostForeachModification(), CheckOther::checkCastIntToCharAndBack(), CheckExceptionSafety::checkCatchExceptionByValue(), CheckOther::checkCharVariable(), CheckOther::checkComparePointers(), CheckCondition::checkCompareValueOutOfTypeRange(), CheckOther::checkComparisonFunctionIsAlwaysTrueOrFalse(), CheckBool::checkComparisonOfBoolExpressionWithInt(), CheckBool::checkComparisonOfBoolWithBool(), CheckBool::checkComparisonOfBoolWithInt(), CheckBool::checkComparisonOfFuncReturningBool(), CheckClass::checkConstFunc(), CheckOther::checkConstVariable(), CheckIO::checkCoutCerrMisusage(), CheckOther::checkDuplicateBranch(), CheckCondition::checkDuplicateConditionalAssign(), CheckOther::checkDuplicateExpression(), CheckOther::checkEvaluationOrder(), CheckIO::checkFileUsage(), CheckStl::checkFindInsert(), CheckMemoryLeakNoVar::checkForUnreleasedInputArgument(), CheckMemoryLeakNoVar::checkForUnsafeArgAlloc(), CheckMemoryLeakNoVar::checkForUnusedReturnValue(), checkFunctionUsage(), CheckUnusedVar::checkFunctionVariableUsage(), CheckUnusedVar::checkFunctionVariableUsage_iterateScopes(), CheckFunctions::checkIgnoredReturnValue(), CheckOther::checkIncompleteArrayFill(), CheckCondition::checkIncorrectLogicOperator(), CheckString::checkIncorrectStringCompare(), CheckBool::checkIncrementBoolean(), CheckOther::checkInnerScope(), CheckOther::checkInvalidFree(), CheckOther::checkKnownArgument(), CheckOther::checkKnownPointerToBool(), CheckType::checkLongCast(), CheckFunctions::checkMathFunctions(), CheckClass::checkMemset(), CheckOther::checkMisusedScopedObject(), CheckCondition::checkModuloAlwaysTrueFalse(), CheckOther::checkOverlappingWrite(), CheckCondition::checkPointerAdditionResultNotNull(), CheckFunctions::checkProhibitedFunctions(), CheckMemoryLeakInClass::checkPublicFunctions(), CheckMemoryLeakInFunction::checkReallocUsage(), CheckOther::checkRedundantAssignment(), CheckExceptionSafety::checkRethrowCopy(), CheckUninitVar::checkScope(), CheckLeakAutoVar::checkScope(), CheckClass::checkSelfInitialization(), CheckOther::checkSignOfUnsignedVariable(), CheckSizeof::checkSizeofForArrayParameter(), CheckSizeof::checkSizeofForNumericParameter(), CheckSizeof::checkSizeofForPointerSize(), CheckUninitVar::checkStruct(), CheckUnusedVar::checkStructMemberUsage(), CheckMemoryLeakStructMember::checkStructVariable(), CheckOther::checkSuspiciousCaseInSwitch(), CheckOther::checkSuspiciousSemicolon(), CheckString::checkSuspiciousStringCompare(), CheckClass::checkThisUseAfterFree(), CheckClass::checkThisUseAfterFreeRecursive(), CheckOther::checkUnreachableCode(), CheckOther::checkUnusedLabel(), CheckClass::checkUselessOverride(), CheckOther::checkVarFuncNullUB(), CheckAutoVariables::checkVarLifetime(), CheckAutoVariables::checkVarLifetimeScope(), CheckIO::checkWrongPrintfScanfArguments(), CheckOther::clarifyCalculation(), CheckCondition::clarifyCondition(), CheckOther::clarifyStatement(), CheckClass::constructors(), CheckClass::copyconstructors(), Summaries::create(), clangimport::AstNode::createScope(), SymbolDatabase::createSymbolDatabaseExprIds(), SymbolDatabase::createSymbolDatabaseSetFunctionPointers(), clangimport::AstNode::createTokensFunctionDecl(), CheckExceptionSafety::deallocThrow(), CheckExceptionSafety::destructors(), CheckStl::eraseCheckLoopVar(), findExpression(), Function::findReturns(), findStartToken(), CheckLeakAutoVar::functionCall(), CheckMemoryLeak::functionReturnType(), getEnumType(), CTU::getFileInfo(), CheckClass::getFileInfo(), getFunctionUsage(), getSingleFunctionCall(), getSingleReturnVar(), getUnsafeFunction(), getVariableChangedStart(), CheckClass::hasAllocation(), CheckClass::hasAssignSelf(), CheckClass::initializationListUsage(), CheckStl::invalidContainer(), CheckFunctions::invalidFunctionUsage(), CheckOther::invalidPointerCast(), CheckIO::invalidScanf(), isCallFunction(), isContainerSizeChangedByFunction(), CheckUnusedVar::isFunctionWithoutSideEffects(), isRangeForScope(), CheckUnusedVar::isRecordTypeWithoutSideEffects(), isScope(), CheckFunctions::memsetInvalid2ndParam(), CheckFunctions::memsetZeroBytes(), CheckStl::mismatchingContainerIterator(), CheckStl::mismatchingContainers(), CheckStl::missingComparison(), CheckCondition::multiCondition2(), CheckBufferOverrun::negativeArraySize(), CheckStl::negativeIndex(), CheckNullPointer::nullConstantDereference(), CheckBufferOverrun::objectIndex(), CheckClass::operatorEqRetRefThis(), CheckString::overlappingStrcmp(), Check64BitPortability::pointerassignment(), CheckPostfixOperator::postfixOperator(), CheckClass::privateFunctions(), CheckOther::redundantBitwiseOperationInSwitchError(), CheckLeakAutoVar::ret(), CheckBool::returnValueOfFunctionReturningBool(), ValueFlowPassRunner::setSkippedFunctions(), CheckStl::size(), CheckString::sprintfOverlappingData(), CheckStl::stlOutOfBounds(), CheckStl::string_c_str(), CheckString::stringLiteralWrite(), CheckBufferOverrun::stringNotZeroTerminated(), CheckString::strPlusChar(), ConditionHandler::traverseCondition(), CheckExceptionSafety::unhandledExceptionSpecification(), CheckStl::uselessCalls(), CheckVaarg::va_start_argument(), valueFlowAfterAssign(), valueFlowAfterMove(), valueFlowAfterSwap(), valueFlowConditionExpressions(), valueFlowContainerSize(), valueFlowDynamicBufferSize(), valueFlowForLoop(), valueFlowInjectParameter(), valueFlowSafeFunctions(), valueFlowSubFunction(), valueFlowSwitchVariable(), valueFlowSymbolic(), valueFlowSymbolicInfer(), valueFlowSymbolicOperators(), CheckUninitVar::valueFlowUninit(), valueFlowUninit(), CheckMemoryLeakInClass::variable(), and CheckOther::warningOldStylePointerCast().
std::vector<const Token *> Scope::bodyStartList |
Definition at line 1045 of file symboldatabase.h.
Referenced by SymbolDatabase::createSymbolDatabaseSetScopePointers(), and getVariableList().
const SymbolDatabase* Scope::check {} |
Definition at line 1029 of file symboldatabase.h.
Referenced by clangimport::AstNode::addTypeTokens(), checkVariable(), clangimport::AstNode::createScope(), clangimport::AstNode::createTokensFunctionDecl(), getVariableList(), Type::initBaseInfo(), isVariableDeclaration(), parsedecl(), and typesMatch().
const Token* Scope::classDef {} |
class/struct/union/namespace token
Definition at line 1031 of file symboldatabase.h.
Referenced by CheckExceptionSafety::checkCatchExceptionByValue(), CheckClass::checkCopyCtorAndEqOperator(), CheckStl::checkDereferenceInvalidIterator(), CheckOther::checkDuplicateBranch(), CheckUnusedVar::checkFunctionVariableUsage_iterateScopes(), CheckType::checkLongCast(), CheckClass::checkMemsetType(), CheckUnusedVar::checkStructMemberUsage(), CheckOther::checkSuspiciousSemicolon(), CheckClass::checkVirtualFunctionCallInConstructor(), CheckClass::constructors(), clangimport::AstNode::createScope(), SymbolDatabase::createSymbolDatabaseFindAllScopes(), clangimport::AstNode::createTokensFunctionDecl(), CheckCondition::duplicateCondition(), CheckStl::erase(), CheckStl::eraseCheckLoopVar(), CheckClass::getFileInfo(), getVariableList(), CheckStl::if_find(), CheckStl::missingComparison(), CheckCondition::multiCondition(), CheckCondition::multiCondition2(), CheckBool::pointerArithBool(), CheckStl::redundantCondition(), Scope(), scopeToString(), CheckStl::stlOutOfBounds(), SymbolDatabase::validateExecutableScopes(), valueFlowForLoop(), valueFlowSwitchVariable(), CheckClass::virtualDestructor(), and CheckOther::warningOldStylePointerCast().
std::string Scope::className |
Definition at line 1030 of file symboldatabase.h.
Referenced by SymbolDatabase::addClassFunction(), Function::argsMatch(), CheckClass::checkConst(), CheckClass::checkCopyCtorAndEqOperator(), CheckClass::checkExplicitConstructors(), CheckMemoryLeakInClass::checkPublicFunctions(), CheckClass::checkReturnPtrThis(), CheckOther::checkShadowVariables(), CheckUninitVar::checkStruct(), CheckUnusedVar::checkStructMemberUsage(), CheckClass::checkUnsafeClassRefMember(), CheckClass::constructors(), SymbolDatabase::createSymbolDatabaseFindAllScopes(), clangimport::AstNode::createTokens(), clangimport::AstNode::createTokensForCXXRecord(), clangimport::AstNode::createTokensFunctionDecl(), CheckExceptionSafety::destructors(), SymbolDatabase::findFunction(), SymbolDatabase::findType(), SymbolDatabase::findTypeInNested(), SymbolDatabase::findVariableType(), Function::Function(), CheckClass::getFileInfo(), CheckClass::initializationListUsage(), CheckClass::initializerListOrder(), isArrayArg(), CheckClass::isMemberVar(), ValueType::matchParameter(), noMemberErrorMessage(), CheckClass::operatorEqToSelf(), CheckClass::privateFunctions(), qualifiedName(), Scope(), scopeToString(), ValueFlowPassRunner::setSkippedFunctions(), ValueType::str(), CheckStl::string_c_str(), CheckExceptionSafety::unhandledExceptionSpecification(), and CheckMemoryLeakInClass::variable().
Type* Scope::definedType {} |
Definition at line 1043 of file symboldatabase.h.
Referenced by Function::argsMatch(), CheckClass::assignAllVarsVisibleFromScope(), CheckClass::checkConst(), CheckUnusedVar::checkFunctionVariableUsage(), CheckClass::checkMemsetType(), CheckClass::checkOverride(), CheckClass::checkThisUseAfterFree(), CheckClass::checkUselessOverride(), CheckClass::constructors(), SymbolDatabase::createSymbolDatabaseFindAllScopes(), SymbolDatabase::createSymbolDatabaseSetVariablePointers(), clangimport::AstNode::createTokens(), clangimport::AstNode::createTokensForCXXRecord(), findAssociatedScopes(), SymbolDatabase::findEnumerator(), findEnumScopeInBase(), findFunctionInBase(), findRecordInBase(), SymbolDatabase::findType(), SymbolDatabase::findTypeInNested(), SymbolDatabase::findVariableType(), SymbolDatabase::findVariableTypeInBase(), getAlignOf(), getAllVariableMembers(), Function::getOverriddenFunction(), ValueFlow::getSizeOf(), getVariable(), hasNonCopyableBase(), CheckClass::initializeVarList(), CheckClass::isBaseClassMutableMemberFunc(), CheckClass::isConstMemberFunc(), CheckClass::isMemberFunc(), CheckClass::isMemberVar(), ValueType::matchParameter(), CheckClass::operatorEqToSelf(), CheckClass::privateFunctions(), setValues(), SymbolDatabase::setValueType(), SymbolDatabase::setValueTypeInTokenList(), ValueType::str(), ValueType::typeSize(), and CheckClass::virtualDestructor().
std::map<std::string, Type*> Scope::definedTypesMap |
Definition at line 1044 of file symboldatabase.h.
Referenced by checkFunctionUsage(), and SymbolDatabase::createSymbolDatabaseFindAllScopes().
bool Scope::enumClass {} |
Definition at line 1053 of file symboldatabase.h.
Referenced by SymbolDatabase::findEnumerator(), Type::name(), and Scope().
std::vector<Enumerator> Scope::enumeratorList |
Definition at line 1055 of file symboldatabase.h.
Referenced by addEnum(), clangimport::AstNode::createScope(), clangimport::AstNode::createTokens(), and valueFlowEnumValue().
const Token* Scope::enumType {} |
Definition at line 1052 of file symboldatabase.h.
Referenced by addEnum(), CheckIO::ArgumentInfo::ArgumentInfo(), parsedecl(), SymbolDatabase::setValueType(), and valueFlowSetConstantValue().
Function* Scope::function {} |
function info for this function
Definition at line 1049 of file symboldatabase.h.
Referenced by SymbolDatabase::addClassFunction(), SymbolDatabase::addGlobalFunction(), CheckOther::checkAccessOfMovedVariable(), CheckOther::checkConstVariable(), CheckIO::checkFileUsage(), CheckType::checkFloatToIntegerOverflow(), CheckOther::checkFuncArgNamesDifferent(), CheckFunctions::checkMissingReturn(), CheckUninitVar::checkScope(), CheckClass::checkSelfInitialization(), CheckOther::checkShadowVariables(), CheckClass::checkThisUseAfterFreeRecursive(), CheckAutoVariables::checkVarLifetime(), CheckAutoVariables::checkVarLifetimeScope(), CheckClass::checkVirtualFunctionCallInConstructor(), Summaries::create(), clangimport::AstNode::createTokensFunctionDecl(), CheckExceptionSafety::destructors(), exprDependsOnThis(), findFunction(), CTU::getFileInfo(), getUnsafeFunction(), CTU::getUnsafeUsage(), inBooleanFunction(), CheckClass::initializationListUsage(), isCallFunction(), isUniqueExpression(), ValueType::matchParameter(), nestedInFunction(), CheckExceptionSafety::nothrowThrows(), CheckNullPointer::nullConstantDereference(), CheckUnusedFunctions::parseTokens(), CheckOther::passedByValueError(), Check64BitPortability::pointerassignment(), CheckExceptionSafety::rethrowNoCurrentException(), CheckFunctions::returnLocalStdMove(), CheckBool::returnValueOfFunctionReturningBool(), SymbolDatabase::setValueTypeInTokenList(), CheckStl::string_c_str(), Token::typeDecl(), Token::typeOf(), CheckExceptionSafety::unhandledExceptionSpecification(), CheckVaarg::va_start_argument(), SymbolDatabase::validateExecutableScopes(), valueFlowAfterMove(), valueFlowFunctionDefaultParameter(), valueFlowInjectParameter(), valueFlowSafeFunctions(), valueFlowSubFunction(), and CheckOther::warningOldStylePointerCast().
std::list<Function> Scope::functionList |
Definition at line 1034 of file symboldatabase.h.
Referenced by SymbolDatabase::addGlobalFunctionDecl(), CheckClass::canNotCopy(), CheckClass::canNotMove(), CheckClass::checkConst(), CheckClass::checkConstFunc(), CheckClass::checkCopyCtorAndEqOperator(), CheckClass::checkExplicitConstructors(), checkFunctionUsage(), CheckClass::checkMemsetType(), CheckClass::checkOverride(), CheckMemoryLeakInClass::checkPublicFunctions(), CheckClass::checkReturnByReference(), CheckClass::checkReturnPtrThis(), CheckClass::checkThisUseAfterFree(), CheckClass::checkUnsafeClassRefMember(), CheckClass::checkUselessOverride(), CheckClass::constructors(), constructorTakesReference(), CheckClass::copyconstructors(), clangimport::AstNode::createTokensFunctionDecl(), findConstructor(), findShadowed(), getArgumentVars(), getDestructor(), getDuplInheritedMemberFunctionsRecursive(), getFunctionUsage(), Function::getOverriddenFunctionRecursive(), hasMatchingConstructor(), hasNonCopyableBase(), CheckClass::initializerListOrder(), CheckClass::isBaseClassMutableMemberFunc(), CheckClass::isMemberFunc(), CheckUnusedVar::isRecordTypeWithoutSideEffects(), CheckIO::ArgumentInfo::isStdVectorOrString(), isUniqueExpression(), CheckClass::operatorEqRetRefThis(), CheckClass::operatorEqToSelf(), CheckClass::privateFunctions(), CheckStl::string_c_str(), CheckMemoryLeakInClass::variable(), and CheckClass::virtualDestructor().
std::multimap<std::string, const Function *> Scope::functionMap |
Definition at line 1035 of file symboldatabase.h.
Referenced by SymbolDatabase::addClassFunction(), SymbolDatabase::addGlobalFunction(), CheckClass::checkConstFunc(), SymbolDatabase::createSymbolDatabaseFindAllScopes(), findFunctionInBase(), SymbolDatabase::findFunctionInScope(), Type::getFunction(), getOperatorFunction(), Function::getOverloadedFunctions(), Function::getOverriddenFunctionRecursive(), and CheckSizeof::sizeofFunction().
const Scope* Scope::functionOf {} |
scope this function belongs to
Definition at line 1048 of file symboldatabase.h.
Referenced by SymbolDatabase::addClassFunction(), CheckIO::checkFileUsage(), CheckOther::checkShadowVariables(), SymbolDatabase::createSymbolDatabaseSetFunctionPointers(), exprDependsOnThis(), SymbolDatabase::findEnumerator(), SymbolDatabase::findFunction(), findFunction(), findFunctionOf(), findShadowed(), SymbolDatabase::findVariableType(), and CheckClass::initializationListUsage().
const Scope* Scope::nestedIn {} |
Definition at line 1037 of file symboldatabase.h.
Referenced by SymbolDatabase::addClassFunction(), clangimport::AstNode::addFullScopeNameTokens(), Function::argsMatch(), CheckClass::checkConst(), CheckOther::checkConstVariable(), CheckType::checkFloatToIntegerOverflow(), CheckLeakAutoVar::checkScope(), CheckOther::checkShadowVariables(), CheckAssert::checkVariableAssignment(), CheckClass::constructors(), SymbolDatabase::createSymbolDatabaseFindAllScopes(), SymbolDatabase::createSymbolDatabaseSetVariablePointers(), exprDependsOnThis(), fillProgramMemoryFromConditions(), SymbolDatabase::findEnumerator(), SymbolDatabase::findFunction(), findFunction(), findFunctionOf(), SymbolDatabase::findNamespace(), findNextTokenFromBreak(), PathAnalysis::findOuterScope(), findShadowed(), findStartToken(), SymbolDatabase::findType(), SymbolDatabase::findTypeInNested(), SymbolDatabase::findVariableType(), findVariableTypeIncludingUsedNamespaces(), Function::fullName(), CheckClass::getFileInfo(), getFunctionScope(), getLoopScope(), Function::getOverloadedFunctions(), inBooleanFunction(), CheckClass::isMemberVar(), isNestedIn(), isWithinScope(), nestedInFunction(), qualifiedName(), SymbolDatabase::setValueTypeInTokenList(), Variable::smartPointerType(), ValueType::str(), and usingNamespace().
std::vector<Scope *> Scope::nestedList |
Definition at line 1038 of file symboldatabase.h.
Referenced by SymbolDatabase::addNewFunction(), CheckUnusedVar::checkFunctionVariableUsage_iterateScopes(), CheckOther::checkInnerScope(), CheckUninitVar::checkStruct(), CheckClass::constructors(), SymbolDatabase::createSymbolDatabaseFindAllScopes(), SymbolDatabase::createSymbolDatabaseSetScopePointers(), SymbolDatabase::findEnumerator(), findFunction(), findInNestedListRecursive(), hasInlineOrLambdaFunction(), isInScope(), and ValueFlowPassRunner::setSkippedFunctions().
nonneg int Scope::numConstructors {} |
Definition at line 1039 of file symboldatabase.h.
Referenced by CheckClass::checkExplicitConstructors(), CheckUninitVar::checkScopeForVariable(), CheckUninitVar::checkStruct(), CheckClass::constructors(), CheckMemoryLeak::getAllocationType(), getAllVariableMembers(), getArgumentVars(), getParentValueTypes(), isAutoDeallocType(), CheckUnusedVar::isEmptyType(), and valueFlowLifetimeClassConstructor().
nonneg int Scope::numCopyOrMoveConstructors {} |
Definition at line 1040 of file symboldatabase.h.
Referenced by CheckClass::constructors().
ScopeType Scope::type {} |
Definition at line 1042 of file symboldatabase.h.
Referenced by SymbolDatabase::addClassFunction(), CheckExceptionSafety::checkCatchExceptionByValue(), CheckClass::checkConst(), CheckClass::checkCopyCtorAndEqOperator(), CheckStl::checkDereferenceInvalidIterator(), CheckOther::checkDuplicateBranch(), CheckClass::checkDuplInheritedMembersRecursive(), CheckClass::checkExplicitConstructors(), CheckType::checkFloatToIntegerOverflow(), CheckUnusedVar::checkFunctionVariableUsage_iterateScopes(), CheckOther::checkInnerScope(), CheckOther::checkOverlappingWrite(), CheckExceptionSafety::checkRethrowCopy(), CheckLeakAutoVar::checkScope(), CheckOther::checkShadowVariables(), CheckUninitVar::checkStruct(), CheckUnusedVar::checkStructMemberUsage(), CheckOther::checkSuspiciousCaseInSwitch(), CheckOther::checkSuspiciousSemicolon(), checkVariable(), CheckClass::constructors(), clangimport::AstNode::createScope(), SymbolDatabase::createSymbolDatabaseFindAllScopes(), SymbolDatabase::createSymbolDatabaseSetScopePointers(), clangimport::AstNode::createTokensFunctionDecl(), defaultAccess(), doAssignment(), CheckCondition::duplicateCondition(), CheckStl::erase(), fillProgramMemoryFromConditions(), SymbolDatabase::findEnumerator(), findFunctionOf(), findNextTokenFromBreak(), PathAnalysis::findOuterScope(), findShadowed(), SymbolDatabase::findType(), SymbolDatabase::findVariableType(), CTU::getFileInfo(), CheckClass::getFileInfo(), getFunctionScope(), getLoopScope(), ValueFlow::getSizeOf(), CTU::getUnsafeUsage(), getVariableList(), CheckStl::if_find(), inBooleanFunction(), Type::isClassType(), Type::isEnumType(), SymbolDatabase::isFunction(), CheckClass::isMemberVar(), isRangeForScope(), Function::isSafe(), CheckIO::ArgumentInfo::isStdVectorOrString(), Type::isStructType(), Type::isUnionType(), isVariableDeclaration(), isWithinScope(), CheckStl::missingComparison(), CheckCondition::multiCondition(), CheckCondition::multiCondition2(), nestedInFunction(), noMemberErrorMessage(), parsedecl(), CheckBool::pointerArithBool(), CheckOther::redundantBitwiseOperationInSwitchError(), CheckStl::redundantCondition(), CheckLeakAutoVar::ret(), Scope(), scopeToString(), Function::setFlags(), ValueFlowPassRunner::setSkippedFunctions(), SymbolDatabase::setValueTypeInTokenList(), CheckStl::stlOutOfBounds(), ValueType::str(), CheckStl::string_c_str(), SingleValueFlowAnalyzer::updateScope(), MultiValueFlowAnalyzer::updateScope(), valueFlowEnumValue(), valueFlowForLoop(), and valueFlowSwitchVariable().
std::vector<UsingInfo> Scope::usingList |
Definition at line 1041 of file symboldatabase.h.
Referenced by SymbolDatabase::addClassFunction(), SymbolDatabase::createSymbolDatabaseFindAllScopes(), SymbolDatabase::findFunction(), SymbolDatabase::findType(), findVariableTypeIncludingUsedNamespaces(), and usingNamespace().
std::list<Variable> Scope::varlist |
Definition at line 1036 of file symboldatabase.h.
Referenced by accumulateStructMembers(), addVariable(), CheckMemoryLeakInClass::check(), CheckClass::checkCopyCtorAndEqOperator(), checkFunctionUsage(), CheckUnusedVar::checkFunctionVariableUsage_iterateScopes(), CheckClass::checkMemsetType(), CheckUninitVar::checkScope(), CheckOther::checkShadowVariables(), CheckUninitVar::checkStruct(), CheckUnusedVar::checkStructMemberUsage(), CheckClass::checkThisUseAfterFree(), CheckClass::constructors(), clangimport::AstNode::createScope(), clangimport::AstNode::createTokensVarDecl(), findShadowed(), getAllVariableMembers(), getArgumentVars(), getDuplInheritedMembersRecursive(), getParentValueTypes(), getVariable(), CheckClass::initializeVarList(), isAutoDeallocType(), CheckUnusedVar::isEmptyType(), CheckClass::isMemberVar(), CheckUnusedVar::isRecordTypeWithoutSideEffects(), isUniqueExpression(), FwdAnalysis::possiblyAliased(), setValues(), SymbolDatabase::setValueType(), valueFlowLifetimeClassConstructor(), valueFlowLifetimeUserConstructor(), and valueFlowUninit().