Various small checks for automatic variables. More...

#include <checkautovariables.h>

Inheritance diagram for CheckAutoVariables:

Public Member Functions
	CheckAutoVariables ()
	This constructor is used when registering the CheckClass. More...

Public Member Functions inherited from Check
	Check (const std::string &aname)
	This constructor is used when registering the CheckClass. More...

virtual	~Check ()

	Check (const Check &)=delete

Check &	operator= (const Check &)=delete

const std::string &	name () const
	class name, used to generate documentation More...

virtual FileInfo *	getFileInfo (const Tokenizer &, const Settings &) const

virtual FileInfo *	loadFileInfoFromXml (const tinyxml2::XMLElement *xmlElement) const

virtual bool	analyseWholeProgram (const CTU::FileInfo ctu, const std::list< FileInfo > &fileInfo, const Settings &, ErrorLogger &)

Private Member Functions
	CheckAutoVariables (const Tokenizer tokenizer, const Settings settings, ErrorLogger *errorLogger)
	This constructor is used when running checks. More...

void	runChecks (const Tokenizer &tokenizer, ErrorLogger *errorLogger) override
	Run checks against the normal token list. More...

void	assignFunctionArg ()
	assign function argument More...

void	autoVariables ()
	Check auto variables. More...

bool	checkAutoVariableAssignment (const Token expr, bool inconclusive, const Token startToken=nullptr)
	Check variable assignment. More...

void	checkVarLifetime ()

void	checkVarLifetimeScope (const Token start, const Token end)

void	errorAutoVariableAssignment (const Token *tok, bool inconclusive)

void	errorReturnDanglingLifetime (const Token tok, const ValueFlow::Value val)

void	errorInvalidLifetime (const Token tok, const ValueFlow::Value val)

void	errorDanglngLifetime (const Token tok, const ValueFlow::Value val)

void	errorDanglingTemporaryLifetime (const Token tok, const ValueFlow::Value val, const Token *tempTok)

void	errorReturnReference (const Token *tok, ErrorPath errorPath, bool inconclusive)

void	errorDanglingReference (const Token tok, const Variable var, ErrorPath errorPath)

void	errorDanglingTempReference (const Token *tok, ErrorPath errorPath, bool inconclusive)

void	errorReturnTempReference (const Token *tok, ErrorPath errorPath, bool inconclusive)

void	errorInvalidDeallocation (const Token tok, const ValueFlow::Value val)

void	errorUselessAssignmentArg (const Token *tok)

void	errorUselessAssignmentPtrArg (const Token *tok)

void	getErrorMessages (ErrorLogger errorLogger, const Settings settings) const override
	get error messages More...

std::string	classInfo () const override
	get information about this class, used to generate documentation More...

bool	diag (const Token *tokvalue)
	returns true if tokvalue has already been diagnosed More...

Static Private Member Functions
static std::string	myName ()

Private Attributes
std::set< const Token * >	mDiagDanglingTemp

Additional Inherited Members
Static Public Member Functions inherited from Check
static std::list< Check * > &	instances ()
	List of registered check classes. More...

static void	writeToErrorList (const ErrorMessage &errmsg)
	Write given error to stdout in xml format. More...

Protected Member Functions inherited from Check
	Check (std::string aname, const Tokenizer tokenizer, const Settings settings, ErrorLogger *errorLogger)
	This constructor is used when running checks. More...

void	reportError (const Token *tok, const Severity severity, const std::string &id, const std::string &msg)
	report an error More...

void	reportError (const Token *tok, const Severity severity, const std::string &id, const std::string &msg, const CWE &cwe, Certainty certainty)
	report an error More...

void	reportError (const std::list< const Token * > &callstack, Severity severity, const std::string &id, const std::string &msg)
	report an error More...

void	reportError (const std::list< const Token * > &callstack, Severity severity, const std::string &id, const std::string &msg, const CWE &cwe, Certainty certainty)
	report an error More...

void	reportError (const ErrorPath &errorPath, Severity severity, const char id[], const std::string &msg, const CWE &cwe, Certainty certainty)

void	logChecker (const char id[])
	log checker More...

ErrorPath	getErrorPath (const Token errtok, const ValueFlow::Value value, std::string bug) const

bool	wrongData (const Token tok, const char str)
	Use WRONG_DATA in checkers when you check for wrong data. More...

Static Protected Member Functions inherited from Check
static std::string	getMessageId (const ValueFlow::Value &value, const char id[])

Protected Attributes inherited from Check
const Tokenizer *const	mTokenizer {}

const Settings *const	mSettings {}

ErrorLogger *const	mErrorLogger {}