ErrnoChecker.cpp File Reference

#include "ErrnoModeling.h"
#include "clang/AST/ParentMapContext.h"
#include "clang/StaticAnalyzer/Checkers/BuiltinCheckerRegistration.h"
#include "clang/StaticAnalyzer/Core/Checker.h"
#include "clang/StaticAnalyzer/Core/CheckerManager.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SVals.h"
#include "llvm/ADT/STLExtras.h"
#include <optional>

Go to the source code of this file.

Functions
static ProgramStateRef	setErrnoStateIrrelevant (ProgramStateRef State)
static bool	isInCondition (const Stmt *S, CheckerContext &C)
	Check if a statement (expression) or an ancestor of it is in a condition part of a (conditional, loop, switch) statement.

Function Documentation

isInCondition()

bool isInCondition ( const Stmt * S, CheckerContext & C )

static

Check if a statement (expression) or an ancestor of it is in a condition part of a (conditional, loop, switch) statement.

Definition at line 70 of file ErrnoChecker.cpp.

References clang::C, clang::cast(), clang::DynTypedNodeList::empty(), clang::ParentMapContext::getParents(), and clang::isa().

setErrnoStateIrrelevant()

ProgramStateRef setErrnoStateIrrelevant ( ProgramStateRef State )

static

Definition at line 64 of file ErrnoChecker.cpp.

References clang::ento::errno_modeling::Irrelevant, and clang::ento::errno_modeling::setErrnoState().