ReturnValueChecker.cpp File Reference

#include "clang/StaticAnalyzer/Checkers/BuiltinCheckerRegistration.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"
#include "llvm/ADT/Optional.h"
#include "llvm/ADT/SmallVector.h"

Include dependency graph for ReturnValueChecker.cpp:

Go to the source code of this file.

Functions
static std::string	getName (const CallEvent &Call)
static Optional< bool >	isInvariantBreak (bool ExpectedValue, SVal ReturnV, CheckerContext &C)

Function Documentation

getName()

static std::string getName ( const CallEvent &  Call )

static

Definition at line 60 of file ReturnValueChecker.cpp.

Referenced by clang::HeaderSearch::collectAllModules(), clang::ASTNameGenerator::Implementation::getAllManglings(), clang::TypedefNameDecl::getAnonDeclWithTypedefName(), getArgumentValueString(), clang::DiagnosticIDs::getCategoryNumberForDiag(), GetCFNumberSize(), clang::serialization::DeclarationNameKey::getHash(), clang::BuiltinType::getKind(), clang::UnresolvedMemberExpr::getMemberName(), clang::BuiltinType::getNameAsCString(), clang::ObjCImplementationDecl::getNameAsString(), clang::NamedDecl::getObjCFStringFormattingFamily(), isBetterMultiversionCandidate(), clang::Declarator::isCtorOrDtor(), clang::IdentifierInfo::isEditorPlaceholder(), isReferenceCountingPointerDestructor(), clang::Declarator::isStaticMember(), clang::DirectoryLookup::LookupFile(), clang::MultiKeywordSelector::MultiKeywordSelector(), clang::IdentifierInfo::operator<(), clang::LabelStmt::setDecl(), clang::CodeGen::CGOpenMPRuntime::tryEmitDeclareVariant(), and clang::CodeGen::~CGOpenMPRuntime().

isInvariantBreak()

static Optional<bool> isInvariantBreak ( bool  ExpectedValue, SVal  ReturnV, CheckerContext &  C  )

static

Definition at line 72 of file ReturnValueChecker.cpp.