clang
15.0.0git
|
#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) |
static bool | isShiftOverflow (const BinaryOperator *B, CheckerContext &C) |
static bool | isLeftShiftResultUnrepresentable (const BinaryOperator *B, CheckerContext &C) |
Definition at line 38 of file UndefResultChecker.cpp.
References clang::ento::getDynamicElementCount(), and state.
|
static |
Definition at line 66 of file UndefResultChecker.cpp.
References clang::BinaryOperator::getLHS(), clang::BinaryOperator::getRHS(), and State.
|
static |
Definition at line 61 of file UndefResultChecker.cpp.
References clang::BinaryOperator::getLHS(), clang::BinaryOperator::getRHS(), and clang::Expr::getType().