|
clang
5.0.0
|
#include "ClangSACheckers.h"#include "clang/AST/ParentMap.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"Go to the source code of this file.
Functions | |
| static bool | isGreaterEqual (CheckerContext &C, const Expr *E, unsigned long long Val) |
| static bool | isNegative (CheckerContext &C, const Expr *E) |
|
static |
Definition at line 127 of file ConversionChecker.cpp.
References clang::ento::ConstraintManager::assumeDual(), clang::ento::SVal::castAs(), clang::ento::SValBuilder::evalBinOp(), clang::ento::SVal::getAs(), clang::ento::CheckerContext::getASTContext(), clang::ento::StoreManager::getBinding(), clang::ento::SValBuilder::getConditionType(), clang::ento::CheckerContext::getConstraintManager(), clang::ento::CheckerContext::getState(), clang::ento::CheckerContext::getStateManager(), clang::ento::ProgramStateManager::getStoreManager(), clang::ento::CheckerContext::getSVal(), clang::ento::CheckerContext::getSValBuilder(), clang::ento::SVal::isUnknownOrUndef(), clang::ASTContext::LongLongTy, clang::ento::SValBuilder::makeIntVal(), and State.
|
static |
Definition at line 155 of file ConversionChecker.cpp.
References clang::ento::ConstraintManager::assumeDual(), clang::ento::SVal::castAs(), clang::ento::SVal::getAs(), clang::ento::CheckerContext::getConstraintManager(), clang::ento::CheckerContext::getLocationContext(), clang::ento::CheckerContext::getState(), clang::ento::CheckerContext::getSValBuilder(), clang::ento::SVal::isUnknownOrUndef(), and State.
1.8.6