ExprEngineC.cpp File Reference

#include "clang/AST/DeclCXX.h"
#include "clang/AST/ExprCXX.h"
#include "clang/StaticAnalyzer/Core/CheckerManager.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
#include <optional>

Go to the source code of this file.

Functions
static SVal	conjureOffsetSymbolOnLocation (SVal Symbol, SVal Other, ConstCFGElementRef Elem, QualType Ty, SValBuilder &svalBuilder, unsigned Count, const LocationContext *LCtx)
	Optionally conjure and return a symbol for offset when processing Elem.

Function Documentation

conjureOffsetSymbolOnLocation()

SVal conjureOffsetSymbolOnLocation ( SVal Symbol, SVal Other, ConstCFGElementRef Elem, QualType Ty, SValBuilder & svalBuilder, unsigned Count, const LocationContext * LCtx )

static

Optionally conjure and return a symbol for offset when processing Elem.

If Other is a location, conjure a symbol for Symbol (offset) if it is unknown so that memory arithmetic always results in an ElementRegion. Count The number of times the current basic block was visited.

Definition at line 29 of file ExprEngineC.cpp.

References clang::ento::SValBuilder::conjureSymbolVal(), clang::isa(), clang::Type::isIntegralOrEnumerationType(), clang::ento::SVal::isUnknown(), and clang::Other.

Referenced by clang::ento::ExprEngine::VisitBinaryOperator().