CallAndMessageChecker.cpp File Reference

#include "ClangSACheckers.h"
#include "clang/AST/ParentMap.h"
#include "clang/Basic/TargetInfo.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/SmallString.h"
#include "llvm/Support/raw_ostream.h"

Include dependency graph for CallAndMessageChecker.cpp:

Go to the source code of this file.

Defines
#define	REGISTER_CHECKER(name)
Functions
static StringRef	describeUninitializedArgumentInCall (const CallEvent &Call, bool IsFirstArgument)
static bool	supportsNilWithFloatRet (const llvm::Triple &triple)

---

Define Documentation

#define REGISTER_CHECKER

(

name

)

Value:

void ento::register##name(CheckerManager &mgr) {                             \
    CallAndMessageChecker *Checker =                                           \
        mgr.registerChecker<CallAndMessageChecker>();                          \
    Checker->Filter.Check_##name = true;                                       \
    Checker->Filter.CheckName_##name = mgr.getCurrentCheckName();              \
  }

Definition at line 589 of file CallAndMessageChecker.cpp.

---

Function Documentation

static StringRef describeUninitializedArgumentInCall	(	const CallEvent &	Call,
		bool	IsFirstArgument
	)		[static]

Definition at line 107 of file CallAndMessageChecker.cpp.

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

static bool supportsNilWithFloatRet

(

const llvm::Triple &

triple

)

[static]

Definition at line 524 of file CallAndMessageChecker.cpp.