CallAndMessageChecker.cpp File Reference

#include "clang/AST/ExprCXX.h"
#include "clang/AST/ParentMap.h"
#include "clang/Basic/TargetInfo.h"
#include "clang/StaticAnalyzer/Checkers/BuiltinCheckerRegistration.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"
#include "llvm/ADT/StringExtras.h"
#include "llvm/Support/raw_ostream.h"

Go to the source code of this file.

Macros
#define	QUERY_CHECKER_OPTION(OPTION)

Functions
static void	describeUninitializedArgumentInCall (const CallEvent &Call, int ArgumentNumber, llvm::raw_svector_ostream &Os)
static bool	supportsNilWithFloatRet (const llvm::Triple &triple)

Macro Definition Documentation

QUERY_CHECKER_OPTION

#define QUERY_CHECKER_OPTION

(

OPTION

)

Value:

  Chk->ChecksEnabled[CallAndMessageChecker::CK_##OPTION] =                     \
      Mgr.getAnalyzerOptions().getCheckerBooleanOption(                        \
          Mgr.getCurrentCheckerName(), #OPTION);

Function Documentation

describeUninitializedArgumentInCall()

void describeUninitializedArgumentInCall ( const CallEvent & Call, int ArgumentNumber, llvm::raw_svector_ostream & Os )

static

Definition at line 147 of file CallAndMessageChecker.cpp.

References clang::Call, clang::cast(), clang::ento::CE_Block, clang::ento::CE_ObjCMessage, clang::ento::ObjCMethodCall::getMessageKind(), clang::ento::ObjCMethodCall::isSetter(), clang::ento::OCM_Message, clang::ento::OCM_PropertyAccess, and clang::ento::OCM_Subscript.

supportsNilWithFloatRet()

bool supportsNilWithFloatRet ( const llvm::Triple & triple )

static

Definition at line 611 of file CallAndMessageChecker.cpp.