clang
7.0.0
|
#include "ClangSACheckers.h"
#include "clang/AST/Attr.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/CallEvent.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
Go to the source code of this file.
Functions | |
static llvm::SmallBitVector | getNonNullAttrs (const CallEvent &Call) |
|
static |
Definition at line 48 of file NonNullParamChecker.cpp.
References clang::ento::CheckerContext::addTransition(), clang::ento::ConstraintManager::assumeDual(), clang::ento::CheckerContext::emitReport(), clang::ento::CheckerContext::generateErrorNode(), clang::ento::CheckerContext::generateSink(), clang::ento::CallEvent::getArgExpr(), clang::ento::CallEvent::getArgSourceRange(), clang::ento::CallEvent::getArgSVal(), clang::ento::SVal::getAs(), clang::Type::getAs(), clang::Type::getAsUnionType(), clang::ento::CheckerContext::getBugReporter(), clang::ento::CheckerContext::getConstraintManager(), clang::ento::CallEvent::getDecl(), clang::RecordType::getDecl(), clang::ento::CallEvent::getNumArgs(), clang::ento::CheckerContext::getPredecessor(), clang::ento::CheckerContext::getState(), clang::Expr::getType(), clang::Decl::hasAttr(), clang::NonNull, clang::ento::CallEvent::parameters(), clang::ento::CheckerManager::registerChecker(), clang::Decl::specific_attrs(), and clang::CodeGen::state.