clang  6.0.0svn
Functions
UndefResultChecker.cpp File Reference
#include "ClangSACheckers.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/ExprEngine.h"
#include "llvm/ADT/SmallString.h"
#include "llvm/Support/raw_ostream.h"
Include dependency graph for UndefResultChecker.cpp:

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)
 

Function Documentation

◆ isArrayIndexOutOfBounds()

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

◆ isShiftOverflow()

static bool isShiftOverflow ( const BinaryOperator B,
CheckerContext C 
)
static