Skip to content


Subversion checkout URL

You can clone with
Download ZIP
Fetching contributors…

Cannot retrieve contributors at this time

135 lines (109 sloc) 3.93 KB
* Cppcheck - A tool for static C/C++ code analysis
* Copyright (C) 2007-2012 Daniel Marjamäki and Cppcheck team.
* This program is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* GNU General Public License for more details.
* You should have received a copy of the GNU General Public License
* along with this program. If not, see <>.
#ifndef executionpathH
#define executionpathH
#include <list>
#include "config.h"
class Token;
class Check;
class SymbolDatabase;
* Base class for Execution Paths checking
* An execution path is a linear list of statements. There are no "if"/.. to worry about.
class CPPCHECKLIB ExecutionPath {
/** No implementation */
void operator=(const ExecutionPath &);
Check * const owner;
/** Are two execution paths equal? */
virtual bool is_equal(const ExecutionPath *) const = 0;
ExecutionPath(Check *c, unsigned int id) : owner(c), numberOfIf(0), varId(id)
{ }
virtual ~ExecutionPath()
{ }
/** Implement this in each derived class. This function must create a copy of the current instance */
virtual ExecutionPath *copy() = 0;
/** print checkdata */
void print() const;
/** number of if blocks */
unsigned int numberOfIf;
const unsigned int varId;
* bail out all execution paths
* @param checks the execution paths to bail out on
static void bailOut(std::list<ExecutionPath *> &checks) {
while (!checks.empty()) {
delete checks.back();
* bail out execution paths with given variable id
* @param checks the execution paths to bail out on
* @param varid the specific variable id
static void bailOutVar(std::list<ExecutionPath *> &checks, const unsigned int varid) {
if (varid == 0)
std::list<ExecutionPath *>::iterator it = checks.begin();
while (it != checks.end()) {
if ((*it)->varId == varid) {
delete *it;
} else {
* Parse tokens at given location
* @param tok token to parse
* @param checks The execution paths. All execution paths in the list are executed in the current scope.
* @return the token before the "next" token.
virtual const Token *parse(const Token &tok, std::list<ExecutionPath *> &checks) const = 0;
* Parse condition
* @param tok first token in condition.
* @param checks The execution paths. All execution paths in the list are executed in the current scope
* @return true => bail out all checking
virtual bool parseCondition(const Token &tok, std::list<ExecutionPath *> &checks);
* Parse loop body
* @param tok the first token in the loop body (the token after the {)
* @param checks The execution paths
virtual void parseLoopBody(const Token *tok, std::list<ExecutionPath *> &checks) const {
/** going out of scope - all execution paths end */
virtual void end(const std::list<ExecutionPath *> & /*checks*/, const Token * /*tok*/) const
{ }
bool operator==(const ExecutionPath &e) const {
return bool(varId == e.varId && is_equal(&e));
static void checkScope(const Token *tok, std::list<ExecutionPath *> &checks);
void checkExecutionPaths(const SymbolDatabase *symbolDatabase, ExecutionPath *c);
Jump to Line
Something went wrong with that request. Please try again.