BoundsChecking.cpp File Reference

#include "clang/StaticAnalyzer/Checkers/BoundsChecking.h"

Go to the source code of this file.

Functions
static std::pair< NonLoc, nonloc::ConcreteInt >	getSimplifiedOffsets (NonLoc Offset, nonloc::ConcreteInt Extent, SValBuilder &SVB)
static bool	isNegative (SValBuilder &SVB, ProgramStateRef State, NonLoc Value)
static bool	isUnsigned (SValBuilder &SVB, NonLoc Value)

Function Documentation

getSimplifiedOffsets()

std::pair< NonLoc, nonloc::ConcreteInt > getSimplifiedOffsets ( NonLoc Offset, nonloc::ConcreteInt Extent, SValBuilder & SVB )

static

Definition at line 39 of file BoundsChecking.cpp.

References clang::ento::APSIntType::convert(), getSimplifiedOffsets(), clang::ento::nonloc::ConcreteInt::getValue(), clang::ento::SValBuilder::makeIntVal(), and clang::Num.

Referenced by clang::ento::bounds::compareValueToThreshold(), and getSimplifiedOffsets().

isNegative()

bool isNegative ( SValBuilder & SVB, ProgramStateRef State, NonLoc Value )

static

Definition at line 67 of file BoundsChecking.cpp.

References clang::ento::SValBuilder::getMaxValue().

Referenced by clang::ento::bounds::compareValueToThreshold().

isUnsigned()

bool isUnsigned ( SValBuilder & SVB, NonLoc Value )

static

Definition at line 72 of file BoundsChecking.cpp.

References clang::ento::SValBuilder::getContext(), clang::Value::getType(), and clang::T.

Referenced by CheckC23ConstexprInitStringLiteral(), clang::ento::bounds::compareValueToThreshold(), cir::direct::convertToIndexTy(), clang::CIRGen::CIRGenFunction::emitAArch64BuiltinExpr(), emitCommonNeonBuiltinExpr(), clang::CIRGen::CIRGenBuilderTy::getConstInt(), clang::ento::BasicValueFactory::getIntValue(), cir::direct::getLLVMIntCast(), clang::ento::BasicValueFactory::getValue(), clang::DependentBitIntType::isSigned(), clang::ento::SValBuilder::makeIntVal(), clang::ento::SValBuilder::makeIntVal(), clang::ASTContext::mergeTypes(), clang::BitIntType::Profile(), clang::DependentBitIntType::Profile(), and clang::serialization::DataStreamBasicReader< Impl >::readAPSInt().