UndefResultChecker.cpp File Reference

#include "clang/StaticAnalyzer/Checkers/BuiltinCheckerRegistration.h"
#include "clang/StaticAnalyzer/Core/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/Core/Checker.h"
#include "clang/StaticAnalyzer/Core/CheckerManager.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/DynamicExtent.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
#include "llvm/ADT/SmallString.h"
#include "llvm/Support/raw_ostream.h"

Go to the source code of this file.

Functions
static bool	isArrayIndexOutOfBounds (CheckerContext &C, const Expr *Ex)

Function Documentation

isArrayIndexOutOfBounds()

static bool isArrayIndexOutOfBounds ( CheckerContext &  C, const Expr *  Ex  )

static

Definition at line 38 of file UndefResultChecker.cpp.

References clang::C, clang::ento::SVal::castAs(), clang::ento::getDynamicElementCount(), clang::ento::ElementRegion::getIndex(), clang::ento::SubRegion::getSuperRegion(), clang::ento::ElementRegion::getValueType(), and clang::ento::DefinedSVal::isValid().