SimpleSValBuilder.cpp File Reference

#include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/APSIntType.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"

Include dependency graph for SimpleSValBuilder.cpp:

Go to the source code of this file.

Functions
static SVal	evalBinOpFieldRegionFieldRegion (const FieldRegion *LeftFR, const FieldRegion *RightFR, BinaryOperator::Opcode op, QualType resultTy, SimpleSValBuilder &SVB)

---

Function Documentation

static SVal evalBinOpFieldRegionFieldRegion	(	const FieldRegion *	LeftFR,
		const FieldRegion *	RightFR,
		BinaryOperator::Opcode	op,
		QualType	resultTy,
		SimpleSValBuilder &	SVB
	)		[static]

Definition at line 536 of file SimpleSValBuilder.cpp.

References clang::BO_EQ, clang::BO_LE, clang::BO_LT, clang::BO_NE, clang::ento::FieldRegion::getDecl(), clang::FieldDecl::getParent(), clang::ento::SubRegion::getSuperRegion(), and clang::BinaryOperator::isComparisonOp().