DynamicTypePropagation.cpp File Reference

#include "ClangSACheckers.h"
#include "clang/Basic/Builtins.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 "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"

Include dependency graph for DynamicTypePropagation.cpp:

Go to the source code of this file.

Functions
static void	recordFixedType (const MemRegion *Region, const CXXMethodDecl *MD, CheckerContext &C)

---

Function Documentation

static void recordFixedType	(	const MemRegion *	Region,
		const CXXMethodDecl *	MD,
		CheckerContext &	C
	)		[static]

Definition at line 46 of file DynamicTypePropagation.cpp.

References clang::ento::CheckerContext::addTransition(), clang::ento::CheckerContext::getASTContext(), clang::CXXMethodDecl::getParent(), clang::ASTContext::getPointerType(), clang::ASTContext::getRecordType(), clang::ento::CheckerContext::getState(), and State.