executionpath.cpp File Reference

#include "executionpath.h"
#include "token.h"
#include "symboldatabase.h"
#include <memory>
#include <set>
#include <iterator>
#include <iostream>

Go to the source code of this file.

Functions
static void	parseIfSwitchBody (const Token *const tok, const std::list< ExecutionPath * > &checks, std::list< ExecutionPath * > &newchecks, std::set< unsigned int > &countif)
	Parse If/Switch body recursively.
void	checkExecutionPaths (const SymbolDatabase *symbolDatabase, ExecutionPath *c)

Function Documentation

void checkExecutionPaths	(	const SymbolDatabase *	symbolDatabase,
		ExecutionPath *	c
	)

Definition at line 472 of file executionpath.cpp.

References ExecutionPath::checkScope(), ExecutionPath::copy(), Scope::eFunction, ExecutionPath::end(), and SymbolDatabase::scopeList.

Referenced by CheckUninitVar::executionPaths().

static void parseIfSwitchBody ( const Token *const  tok, const std::list< ExecutionPath * > &  checks, std::list< ExecutionPath * > &  newchecks, std::set< unsigned int > &  countif  )

static

Parse If/Switch body recursively.

Parameters

tok	First token in body.
checks	The current checks
newchecks	new checks
countif	The countif set - count number of if for each execution path

Definition at line 87 of file executionpath.cpp.

References ExecutionPath::checkScope().

Referenced by ExecutionPath::checkScope().