clang 20.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/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()

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 71 of file ErrnoChecker.cpp.

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

◆ setErrnoStateIrrelevant()

static ProgramStateRef setErrnoStateIrrelevant ( ProgramStateRef  State)
static