SValBuilder.cpp File Reference

#include "clang/AST/ExprCXX.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SVals.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/BasicValueFactory.h"

Include dependency graph for SValBuilder.cpp:

Go to the source code of this file.

Functions
static bool	haveSimilarTypes (ASTContext &Context, QualType T1, QualType T2)

---

Function Documentation

static bool haveSimilarTypes	(	ASTContext &	Context,
		QualType	T1,
		QualType	T2
	)		[static]

Recursively check if the pointer types are equal modulo const, volatile, and restrict qualifiers. Assumes the input types are canonical. TODO: This is based off of code in SemaCast; can we reuse it.

Definition at line 264 of file SValBuilder.cpp.

References clang::ASTContext::getUnqualifiedArrayType(), clang::Qualifiers::removeCVRQualifiers(), and clang::ASTContext::UnwrapSimilarPointerTypes().

Referenced by clang::ento::SValBuilder::evalCast().