clang  15.0.0git
Functions
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/CallDescription.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 dependency graph for ErrnoChecker.cpp:

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. More...
 

Function Documentation

◆ isInCondition()

static 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.

◆ setErrnoStateIrrelevant()

static ProgramStateRef setErrnoStateIrrelevant ( ProgramStateRef  State)
static