clang
9.0.0
|
#include "clang/StaticAnalyzer/Checkers/BuiltinCheckerRegistration.h"
#include "clang/AST/ASTContext.h"
#include "clang/AST/Attr.h"
#include "clang/AST/ParentMap.h"
#include "clang/AST/RecursiveASTVisitor.h"
#include "clang/Analysis/Analyses/LiveVariables.h"
#include "clang/StaticAnalyzer/Core/BugReporter/BugReporter.h"
#include "clang/StaticAnalyzer/Core/Checker.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h"
#include "llvm/ADT/BitVector.h"
#include "llvm/ADT/SmallString.h"
#include "llvm/Support/SaveAndRestore.h"
Go to the source code of this file.
Functions | |
static const Expr * | LookThroughTransitiveAssignmentsAndCommaOperators (const Expr *Ex) |
Definition at line 102 of file DeadStoresChecker.cpp.
References clang::ento::PathDiagnosticLocation::create(), clang::ento::PathDiagnosticLocation::createBegin(), clang::Type::getAs(), clang::SourceRange::getBegin(), clang::Stmt::getBeginLoc(), clang::AnalysisDeclContext::getBody(), clang::SourceManager::getBufferData(), clang::AnalysisDeclContext::getDecl(), clang::DeclRefExpr::getDecl(), clang::SourceManager::getFileID(), clang::VarDecl::getInit(), clang::BinaryOperator::getLHS(), clang::BinaryOperator::getOpcode(), clang::ParentMap::getParentIgnoreParenCasts(), clang::BinaryOperator::getRHS(), clang::ASTContext::getSourceManager(), clang::VarDecl::getSourceRange(), clang::Stmt::getSourceRange(), clang::ValueDecl::getType(), clang::Decl::hasAttr(), clang::VarDecl::hasGlobalStorage(), clang::VarDecl::hasLocalStorage(), clang::Expr::IgnoreParenCasts(), clang::BinaryOperator::isAssignmentOp(), clang::BinaryOperator::isCompoundAssignmentOp(), clang::QualType::isConstQualified(), clang::ParentMap::isConsumedExpr(), clang::LiveVariables::LivenessValues::isLive(), clang::SourceLocation::isMacroID(), clang::Type::isObjCObjectPointerType(), clang::Type::isPointerType(), clang::Type::isScalarType(), clang::SourceLocation::isValid(), clang::QualType::isVolatileQualified(), clang::Expr::NPC_ValueDependentIsNull, and V.