Base class for Execution Paths checking An execution path is a linear list of statements. More...

#include <executionpath.h>

Inheritance diagram for ExecutionPath:

Public Member Functions
	ExecutionPath (Check *c, unsigned int id)
virtual	~ExecutionPath ()
virtual ExecutionPath *	copy ()=0
	Implement this in each derived class.
void	print () const
	print checkdata
virtual const Token *	parse (const Token &tok, std::list< ExecutionPath * > &checks) const =0
	Parse tokens at given location.
virtual bool	parseCondition (const Token &tok, std::list< ExecutionPath * > &checks)
	Parse condition.
virtual void	parseLoopBody (const Token tok, std::list< ExecutionPath > &checks) const
	Parse loop body.
virtual void	end (const std::list< ExecutionPath * > &, const Token *) const
	going out of scope - all execution paths end
bool	operator== (const ExecutionPath &e) const

Static Public Member Functions
static void	bailOut (std::list< ExecutionPath * > &checks)
	bail out all execution paths
static void	bailOutVar (std::list< ExecutionPath * > &checks, const unsigned int varid)
	bail out execution paths with given variable id
static void	checkScope (const Token tok, std::list< ExecutionPath > &checks)

Public Attributes
unsigned int	numberOfIf
	number of if blocks
const unsigned int	varId

Protected Member Functions
virtual bool	is_equal (const ExecutionPath *) const =0
	Are two execution paths equal?

Protected Attributes
Check *const	owner

Private Member Functions
	ExecutionPath ()
	No implementation.
ExecutionPath &	operator= (const ExecutionPath &)

Detailed Description

Base class for Execution Paths checking An execution path is a linear list of statements.

There are no "if"/.. to worry about.

Definition at line 35 of file executionpath.h.

Constructor & Destructor Documentation

ExecutionPath::ExecutionPath ( )

private

No implementation.

ExecutionPath::ExecutionPath	(	Check *	c,
		unsigned int	id
	)

inline

Definition at line 48 of file executionpath.h.

virtual ExecutionPath::~ExecutionPath ( )

inlinevirtual

Definition at line 51 of file executionpath.h.

Member Function Documentation

static void ExecutionPath::bailOut ( std::list< ExecutionPath * > & checks )

inlinestatic

bail out all execution paths

Parameters

checks the execution paths to bail out on

Definition at line 69 of file executionpath.h.

Referenced by checkScope(), UninitVar::parse(), and EraseCheckLoop::parse().

static void ExecutionPath::bailOutVar	(	std::list< ExecutionPath * > &	checks,
		const unsigned int	varid
	)

inlinestatic

bail out execution paths with given variable id

Parameters

checks	the execution paths to bail out on
varid	the specific variable id

Definition at line 81 of file executionpath.h.

Referenced by UninitVar::alloc_pointer(), checkScope(), UninitVar::parse(), EraseCheckLoop::parse(), parseCondition(), UninitVar::parseLoopBody(), UninitVar::parserhs(), and UninitVar::pointer_assignment().

void ExecutionPath::checkScope	(	const Token *	tok,
		std::list< ExecutionPath * > &	checks
	)

static

Definition at line 132 of file executionpath.cpp.

References bailOut(), bailOutVar(), copy(), end(), Token::findsimplematch(), Token::link(), Token::linkAt(), Token::Match(), Token::next(), numberOfIf, parseIfSwitchBody(), Token::previous(), Token::simpleMatch(), Token::str(), Token::tokAt(), and Token::varId().

Referenced by checkExecutionPaths(), and parseIfSwitchBody().

virtual ExecutionPath* ExecutionPath::copy ( )

pure virtual

Implement this in each derived class.

This function must create a copy of the current instance

Referenced by checkExecutionPaths(), and checkScope().

virtual void ExecutionPath::end	(	const std::list< ExecutionPath * > &	,
		const Token *
	)		const

inlinevirtual

going out of scope - all execution paths end

Definition at line 123 of file executionpath.h.

Referenced by checkExecutionPaths(), and checkScope().

virtual bool ExecutionPath::is_equal ( const ExecutionPath * ) const

protectedpure virtual

Are two execution paths equal?

ExecutionPath& ExecutionPath::operator= ( const ExecutionPath & )

private

bool ExecutionPath::operator== ( const ExecutionPath & e ) const

inline

Definition at line 126 of file executionpath.h.

References varId.

virtual const Token* ExecutionPath::parse	(	const Token &	tok,
		std::list< ExecutionPath * > &	checks
	)		const

pure virtual

Parse tokens at given location.

Parameters

tok	token to parse
checks	The execution paths. All execution paths in the list are executed in the current scope.

Returns: the token before the "next" token.

bool ExecutionPath::parseCondition	(	const Token &	tok,
		std::list< ExecutionPath * > &	checks
	)

virtual

Parse condition.

Parameters

tok	first token in condition.
checks	The execution paths. All execution paths in the list are executed in the current scope

Returns: true => bail out all checking

Definition at line 31 of file executionpath.cpp.

References bailOutVar(), Token::Match(), and Token::next().

virtual void ExecutionPath::parseLoopBody	(	const Token *	tok,
		std::list< ExecutionPath * > &	checks
	)		const

inlinevirtual

Parse loop body.

Parameters

tok	the first token in the loop body (the token after the {)
checks	The execution paths

Definition at line 117 of file executionpath.h.

void ExecutionPath::print ( ) const

print checkdata

Definition at line 62 of file executionpath.cpp.

References numberOfIf, and varId.

Member Data Documentation

unsigned int ExecutionPath::numberOfIf

number of if blocks

Definition at line 61 of file executionpath.h.

Referenced by checkScope(), and print().

Check* const ExecutionPath::owner

protected

Definition at line 42 of file executionpath.h.

Referenced by UninitVar::dealloc_pointer(), EraseCheckLoop::end(), UninitVar::parse(), and UninitVar::use().

const unsigned int ExecutionPath::varId

Definition at line 63 of file executionpath.h.

Referenced by UninitVar::alloc_pointer(), UninitVar::dealloc_pointer(), UninitVar::init_memset_nonzero(), UninitVar::init_pointer(), UninitVar::init_strncpy(), operator==(), UninitVar::parse(), EraseCheckLoop::parse(), UninitVar::pointer_assignment(), print(), and UninitVar::use().

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

Public Member Functions

Static Public Member Functions

Public Attributes

Protected Member Functions

Protected Attributes

Private Member Functions

Detailed Description

Constructor & Destructor Documentation

Member Function Documentation

Member Data Documentation