cfront::CAnalyzer Class Reference

#include <CAnalyzer.hpp>

Collaboration diagram for cfront::CAnalyzer:


Public Member Functions
void	initialize ()
void	setASTFactory (antlr::ASTFactory *astFactory)
void	setSupportVectorExtension (bool b)
bool	isSupportedVectorExt ()
bool	isTypedefName (const std::string &name)
const Type *	getOriginalType (const Type *t, bool withFuncArrPointerConv)
std::string	getDeclaratorName (const antlr::RefAST declNode) const
Environment *	getCurrentEnv () const
void	addEnv ()
Environment *	removeEnv ()
void	setCurrentFunctionType (FunctionType *ft)
FunctionType *	getCurrentFunctionType () const
Type *	buildPointerDeclaratorType (std::list< PointerType * > &pointerTypes, Type *&lastPointerType, Type baseType)
Type *	buildDeclaratorPostfixType (std::list< Type * > &types, Type *&lastType, Type baseType)
Type *	buildCompositeDeclaratorType (Type innerLastType, Type innerDeclType, Type *baseType)
void	addQualifier (Type *t, QualFlags qflags)
bool	addNameAndType (const std::string &name, Type t, NameDescription::StorageClassSpecTag ssTag, NameDescription::DeclarationLocation dloc, Attributes attrs)
void	makeBasicType (Type **t, BasicType::PrimitiveTag primTypeTag)
bool	isGccBuiltinName (const std::string &name) const
Extension *	parseGccAttribute (const std::string &name, RefNode paramNode, RefNode locationNode)
void	setVariableAttribute (NameDescription *nd, Attributes &attrs)
Type *	setTypeAttribute (Type *t, Attributes &attrs, RefNode locationNode)
FieldInclusionType *	checkStructOrUnionDefinition (const std::string &name, bool isStruct, bool isDefinition, RefNode locationNode)
void	initializeTypes ()
std::string	generateName ()
void	parseCharConst (RefNode cNode)
void	parseStringConstant (RefNode sNode, std::stringstream &ss, bool *isWide)
void	parseIntegerConstant (RefNode intNode, int base)
bool	isConstantZeroValue (RefNode constExprNode)
RefNode	makeImplicitCastNode (RefNode expr, const Type castTo, const Type rand)
const Type *	getInitializerListElemType (const Type *listType, int elemIndex, RefNode locationNode)
void	checkArrayInitializer (Type *t, int numElems, RefNode locationNode)
const Type *	checkPointerArithmeticAdditive (const Type pt, const Type it)
const Type *	checkPointerSubtraction (const Type lt, const Type rt)
const Type *	checkBinaryArithmetic (const Type lt, const Type rt, RefNode locationNode)
const Type *	typeCastExpr (RefNode ec, RefNode es)
AssignmentErrorTag	checkAssignment (const Type *lt, RefNode rn)
RefNode	typeAssignmentExpr (RefNode en)
RefNode	typeComparisonExpr (RefNode en)
const Type *	convertUnaryExprType (const Type *t)
RefNode	typeUnaryExpr (RefNode e)
BasicType::PrimitiveTag	getArithmeticTypeTag (const Type *t)
BasicType::PrimitiveTag	typeBinaryExpr (const Type type1, const Type type2)
RefNode	typeFunctionArguments (ParameterTypes::const_iterator &i, ParameterTypes::const_iterator &end, RefNode argNode, bool hasVararg, RefNode locationNode)
RefNode	typeUnknownTypeFunctionArguments (RefNode argNode, RefNode locationNode)
RefNode	typeFunctionArgument (RefNode argNode, const Type *paramType, RefNode locationNode)
const Type *	checkCondOperands (RefNode e1, RefNode e2)
RefNode	typeExpr (RefNode en)
eint	evalConstExpr (antlr::RefAST en) throw (EvalFailedException)
void	setLogs (Logs *logs)
void	setTargetInfo (TargetInfo *info)
Static Public Member Functions
static eint	parseNumber (std::string::const_iterator &i, int base)
static eint	parseEscape (std::string::const_iterator &i)
static void	parseDoubleQuotedString (std::string::const_iterator &i, std::stringstream &ss)
Protected Attributes
Environment *	currentEnv_
FunctionType *	currentFunctionType_
bool	supportVectorExt_
Logs *	logs_
TargetInfo *	targetInfo_
antlr::ASTFactory *	astFactory_
Static Protected Attributes
static const char *const	gccBuiltinNames []
Private Attributes
unsigned int	nameCount_

Detailed Description

Semantic Analyzer of C.

Definition at line 104 of file CAnalyzer.hpp.

Member Function Documentation

void cfront::CAnalyzer::initialize ( ) [inline]

Definition at line 106 of file CAnalyzer.hpp.

References currentEnv_, currentFunctionType_, nameCount_, and supportVectorExt_.

Referenced by ctrump_parse(), and parseString().

void cfront::CAnalyzer::setASTFactory ( antlr::ASTFactory * astFactory ) [inline]

Definition at line 115 of file CAnalyzer.hpp.

References astFactory_.

Referenced by ctrump_parse(), and parseString().

void cfront::CAnalyzer::setSupportVectorExtension ( bool b ) [inline]

Definition at line 120 of file CAnalyzer.hpp.

References supportVectorExt_.

Referenced by ctrump_parse().

bool cfront::CAnalyzer::isSupportedVectorExt ( ) [inline]

Definition at line 125 of file CAnalyzer.hpp.

References supportVectorExt_.

bool cfront::CAnalyzer::isTypedefName ( const std::string & name ) [inline]

Definition at line 130 of file CAnalyzer.hpp.

References currentEnv_, cfront::NameDescription::getStorageClassSpec(), cfront::Environment::lookupOrdinaryName(), and cfront::NameDescription::TYPEDEF.

const Type* cfront::CAnalyzer::getOriginalType	(	const Type *	t,
		bool	withFuncArrPointerConv
	)			`[inline]`

Parameters:

withFuncArrPointerConv

if true, convert the Function / Array type to the its pointer type.

Definition at line 154 of file CAnalyzer.hpp.

References addQualifier(), cfront::Type::clone(), cfront::ArrayType::getBaseType(), cfront::TypedefType::getBaseType(), and cfront::TypedefType::getQualFlags().

Referenced by checkAssignment(), checkCondOperands(), convertUnaryExprType(), getInitializerListElemType(), isConstantZeroValue(), typeAssignmentExpr(), typeCastExpr(), typeComparisonExpr(), typeExpr(), and typeFunctionArgument().

std::string cfront::CAnalyzer::getDeclaratorName ( const antlr::RefAST declNode ) const [inline]

Definition at line 180 of file CAnalyzer.hpp.

Environment* cfront::CAnalyzer::getCurrentEnv ( ) const [inline]

Definition at line 185 of file CAnalyzer.hpp.

References currentEnv_.

void cfront::CAnalyzer::addEnv ( ) [inline]

Create the new Environment and set it to currentEnv_

Definition at line 193 of file CAnalyzer.hpp.

References currentEnv_.

Environment* cfront::CAnalyzer::removeEnv ( ) [inline]

Remove the current Environment and set to the outer one.

Returns:: Removed Environment.

Definition at line 202 of file CAnalyzer.hpp.

References currentEnv_, and cfront::Environment::getOuterEnv().

void cfront::CAnalyzer::setCurrentFunctionType ( FunctionType * ft ) [inline]

Definition at line 210 of file CAnalyzer.hpp.

References currentFunctionType_.

FunctionType* cfront::CAnalyzer::getCurrentFunctionType ( ) const [inline]

Definition at line 215 of file CAnalyzer.hpp.

References currentFunctionType_.

Type* cfront::CAnalyzer::buildPointerDeclaratorType	(	std::list< PointerType * > &	pointerTypes,
		Type **&	lastPointerType,
		Type *	baseType
	)			`[inline]`

Combine the PointeType::baseType in pointerTypes in series.

Parameters:

`[in]`	pointerTypes
`[out]`	lastPointerType	If not NULL, set the last PointerType in the pointerTypes.
`[in]`	baseType	The type to set as baseType of the last type in the pointerTypes.

Returns:: The first PointerType in the pointerTypes.

See also:: CParser::declarator

Definition at line 231 of file CAnalyzer.hpp.

References cfront::PointerType::setBaseType().

Type* cfront::CAnalyzer::buildDeclaratorPostfixType	(	std::list< Type * > &	types,
		Type **&	lastType,
		Type *	baseType
	)			`[inline]`

Parameters:

`[in]`	types	The sequence of the FunctionType or ArrayType. If the first element is a FunctionType, the length of the sequence must be 1.
`[out]`	lastType
`[in]`	baseType

Definition at line 258 of file CAnalyzer.hpp.

References cfront::ArrayType::setBaseType(), and cfront::FunctionType::setReturnType().

Type* cfront::CAnalyzer::buildCompositeDeclaratorType	(	Type *	innerLastType,
		Type *	innerDeclType,
		Type *	baseType
	)			`[inline]`

Definition at line 286 of file CAnalyzer.hpp.

References cfront::ArrayType::setBaseType(), cfront::PointerType::setBaseType(), and cfront::FunctionType::setReturnType().

void cfront::CAnalyzer::addQualifier	(	Type *	t,
		QualFlags	qflags
	)			`[inline]`

Merge qflags and the t's one and set to t.

Definition at line 311 of file CAnalyzer.hpp.

References MERGE_QFS.

Referenced by getOriginalType().

bool cfront::CAnalyzer::addNameAndType	(	const std::string &	name,
		Type *	t,
		NameDescription::StorageClassSpecTag	ssTag,
		NameDescription::DeclarationLocation	dloc,
		Attributes *	attrs
	)			`[inline]`

Definition at line 347 of file CAnalyzer.hpp.

References cfront::Environment::addOrdinaryName(), currentEnv_, setVariableAttribute(), and cfront::NameDescription::TYPEDEF.

void cfront::CAnalyzer::makeBasicType	(	Type **	t,
		BasicType::PrimitiveTag	primTypeTag
	)			`[inline]`

Definition at line 378 of file CAnalyzer.hpp.

bool cfront::CAnalyzer::isGccBuiltinName ( const std::string & name ) const

Extension* cfront::CAnalyzer::parseGccAttribute	(	const std::string &	name,
		RefNode	paramNode,
		RefNode	locationNode
	)			`[inline]`

Definition at line 388 of file CAnalyzer.hpp.

References cfront::ALTIVEC_BOOL, cfront::ALTIVEC_NONE, cfront::ALTIVEC_PIXEL, cfront::ALTIVEC_VECTOR, evalConstExpr(), logs_, and WARNING.

void cfront::CAnalyzer::setVariableAttribute	(	NameDescription *	nd,
		Attributes &	attrs
	)			`[inline]`

Definition at line 433 of file CAnalyzer.hpp.

References cfront::NameDescription::addExtension(), and cfront::GccIntegerAttribute::getName().

Referenced by addNameAndType().

Type* cfront::CAnalyzer::setTypeAttribute	(	Type *	t,
		Attributes &	attrs,
		RefNode	locationNode
	)			`[inline]`

If the attribute is the kind of type-specifiers, return the newly created type.

Definition at line 455 of file CAnalyzer.hpp.

References cfront::Type::addExtension(), cfront::ALTIVEC_BOOL, cfront::ALTIVEC_PIXEL, cfront::ALTIVEC_VECTOR, ERROR, cfront::GccIntegerAttribute::getName(), cfront::BasicType::getPrimitiveTag(), cfront::GccIntegerAttribute::getValue(), and logs_.

FieldInclusionType* cfront::CAnalyzer::checkStructOrUnionDefinition	(	const std::string &	name,
		bool	isStruct,
		bool	isDefinition,
		RefNode	locationNode
	)			`[inline]`

Definition at line 498 of file CAnalyzer.hpp.

References cfront::Environment::addTagName(), cfront::UnionType::clone(), cfront::StructType::clone(), currentEnv_, ERROR1, cfront::FieldInclusionType::getDefinition(), cfront::NameDescription::getType(), cfront::SUDefinition::isIncomplete(), logs_, cfront::Environment::lookupTagName(), and cfront::NameDescription::NONE.

void cfront::CAnalyzer::initializeTypes ( )

std::string cfront::CAnalyzer::generateName ( ) [inline]

This member function is used for name the unnamed struct/union/enum.

Definition at line 543 of file CAnalyzer.hpp.

References nameCount_.

static eint cfront::CAnalyzer::parseNumber	(	std::string::const_iterator &	i,
		int	base
	)			`[inline, static]`

Parse the number string and return the value.

Definition at line 553 of file CAnalyzer.hpp.

Referenced by parseEscape().

static eint cfront::CAnalyzer::parseEscape ( std::string::const_iterator & i ) [inline, static]

Definition at line 568 of file CAnalyzer.hpp.

References parseNumber().

Referenced by parseCharConst(), and parseDoubleQuotedString().

void cfront::CAnalyzer::parseCharConst ( RefNode cNode ) [inline]

Definition at line 600 of file CAnalyzer.hpp.

References parseEscape(), and cfront::BasicType::SINT.

static void cfront::CAnalyzer::parseDoubleQuotedString	(	std::string::const_iterator &	i,
		std::stringstream &	ss
	)			`[inline, static]`

Definition at line 616 of file CAnalyzer.hpp.

References parseEscape().

Referenced by parseStringConstant().

void cfront::CAnalyzer::parseStringConstant	(	RefNode	sNode,
		std::stringstream &	ss,
		bool *	isWide
	)			`[inline]`

Definition at line 633 of file CAnalyzer.hpp.

References parseDoubleQuotedString().

void cfront::CAnalyzer::parseIntegerConstant	(	RefNode	intNode,
		int	base
	)			`[inline]`

Definition at line 647 of file CAnalyzer.hpp.

References ERROR1, logs_, cfront::BasicType::NONE, cfront::BasicType::SINT, cfront::BasicType::SLLONG, cfront::BasicType::SLONG, cfront::BasicType::UINT, cfront::BasicType::ULLONG, and cfront::BasicType::ULONG.

bool cfront::CAnalyzer::isConstantZeroValue ( RefNode constExprNode ) [inline]

Definition at line 761 of file CAnalyzer.hpp.

References evalConstExpr(), getOriginalType(), cfront::BasicType::getPrimitiveTag(), and cfront::BasicType::isIntegerTypeTag().

Referenced by checkAssignment(), checkCondOperands(), and typeComparisonExpr().

RefNode cfront::CAnalyzer::makeImplicitCastNode	(	RefNode	expr,
		const Type *	castTo,
		const Type *	rand
	)			`[inline]`

Make the implicit cast node if necessary.

Implicit cast node is an imaginary node, used for holding the type that occurred by implicit type conversion.

Definition at line 787 of file CAnalyzer.hpp.

References astFactory_, and cfront::Type::isCompatibleType().

Referenced by typeAssignmentExpr(), typeComparisonExpr(), typeExpr(), typeFunctionArgument(), and typeUnaryExpr().

const Type* cfront::CAnalyzer::getInitializerListElemType	(	const Type *	listType,
		int	elemIndex,
		RefNode	locationNode
	)			`[inline]`

Definition at line 806 of file CAnalyzer.hpp.

References cfront::ArrayType::getBaseType(), cfront::FieldInclusionType::getDefinition(), cfront::StructDefinition::getNthFieldType(), getOriginalType(), cfront::VectorType::getPrimitiveTag(), logs_, and WARNING.

void cfront::CAnalyzer::checkArrayInitializer	(	Type *	t,
		int	numElems,
		RefNode	locationNode
	)			`[inline]`

Definition at line 834 of file CAnalyzer.hpp.

References ERROR, cfront::ArrayType::FIXED, cfront::ArrayType::getLengthSpec(), cfront::ArrayType::getLengthValue(), cfront::ArrayType::INCOMPLETE, logs_, cfront::ArrayType::NOT_SPECIFIED, cfront::ArrayType::setLengthValue(), cfront::ArrayType::VARIABLE, and cfront::ArrayType::VARIABLE_NOT_SPECIFIED.

const Type* cfront::CAnalyzer::checkPointerArithmeticAdditive	(	const Type *	pt,
		const Type *	it
	)			`[inline]`

Check type pt is a pointer and type it is an integer at the binary +/- or subscripting. return the base type of pt if applicable, or NULL if invalid.

Definition at line 870 of file CAnalyzer.hpp.

References cfront::PointerType::getBaseType(), and cfront::Type::isIntegerType().

Referenced by typeExpr().

const Type* cfront::CAnalyzer::checkPointerSubtraction	(	const Type *	lt,
		const Type *	rt
	)			`[inline]`

Definition at line 879 of file CAnalyzer.hpp.

References cfront::PointerType::isCompatibleType(), and cfront::BasicType::SLONG.

Referenced by typeExpr().

const Type* cfront::CAnalyzer::checkBinaryArithmetic	(	const Type *	lt,
		const Type *	rt,
		RefNode	locationNode
	)			`[inline]`

Definition at line 890 of file CAnalyzer.hpp.

References ERROR1, logs_, cfront::BasicType::NONE, and typeBinaryExpr().

Referenced by typeExpr().

const Type* cfront::CAnalyzer::typeCastExpr	(	RefNode	ec,
		RefNode	es
	)			`[inline]`

Definition at line 904 of file CAnalyzer.hpp.

References convertUnaryExprType(), ERROR, cfront::PointerType::getBaseType(), getOriginalType(), cfront::Type::isArithmeticType(), cfront::Type::isIntegerType(), cfront::Type::isVoidType(), and logs_.

Referenced by typeExpr().

AssignmentErrorTag cfront::CAnalyzer::checkAssignment	(	const Type *	lt,
		RefNode	rn
	)			`[inline]`

RefNode cfront::CAnalyzer::typeAssignmentExpr ( RefNode en ) [inline]

Definition at line 1054 of file CAnalyzer.hpp.

References cfront::ASSIGN_ERR_CONST, cfront::ASSIGN_ERR_INCOMPATIBLE, cfront::ASSIGN_ERR_INCOMPATIBLE_POINTER, cfront::ASSIGN_ERR_INTEGER_FROM_POINTER, cfront::ASSIGN_ERR_POINTER_FROM_INTEGER, checkAssignment(), ERROR, ERROR1, getOriginalType(), logs_, makeImplicitCastNode(), typeExpr(), and WARNING.

Referenced by typeExpr().

RefNode cfront::CAnalyzer::typeComparisonExpr ( RefNode en ) [inline]

Definition at line 1100 of file CAnalyzer.hpp.

References ERROR1, cfront::PointerType::getBaseType(), getOriginalType(), cfront::Type::isArithmeticType(), cfront::Type::isCompatibleType(), isConstantZeroValue(), cfront::Type::isVoidType(), logs_, makeImplicitCastNode(), cfront::BasicType::SINT, and typeExpr().

Referenced by typeExpr().

const Type* cfront::CAnalyzer::convertUnaryExprType ( const Type * t ) [inline]

unary type conversion.

Definition at line 1149 of file CAnalyzer.hpp.

References cfront::ArrayType::getBaseType(), getOriginalType(), cfront::BasicType::getPrimitiveTag(), cfront::ArrayType::getQualFlags(), cfront::BasicType::SINT, and cfront::BasicType::USHORT.

Referenced by typeCastExpr(), typeExpr(), typeFunctionArgument(), and typeUnaryExpr().

RefNode cfront::CAnalyzer::typeUnaryExpr ( RefNode e ) [inline]

Definition at line 1177 of file CAnalyzer.hpp.

References convertUnaryExprType(), and makeImplicitCastNode().

Referenced by typeExpr(), and typeFunctionArgument().

BasicType::PrimitiveTag cfront::CAnalyzer::getArithmeticTypeTag ( const Type * t ) [inline]

Definition at line 1184 of file CAnalyzer.hpp.

References cfront::BasicType::getPrimitiveTag(), cfront::BasicType::isArithmeticTypeTag(), cfront::BasicType::NONE, and cfront::BasicType::SINT.

Referenced by typeBinaryExpr().

BasicType::PrimitiveTag cfront::CAnalyzer::typeBinaryExpr	(	const Type *	type1,
		const Type *	type2
	)			`[inline]`

Definition at line 1201 of file CAnalyzer.hpp.

References cfront::BasicType::DOUBLE, cfront::BasicType::FLOAT, getArithmeticTypeTag(), cfront::BasicType::LDOUBLE, cfront::BasicType::NONE, SIGNED_UNSIGNED_CONV_INT, SIGNED_UNSIGNED_CONV_LONG, cfront::BasicType::SINT, cfront::BasicType::UINT, cfront::BasicType::ULLONG, and cfront::BasicType::ULONG.

Referenced by checkBinaryArithmetic(), and checkCondOperands().

RefNode cfront::CAnalyzer::typeFunctionArguments	(	ParameterTypes::const_iterator &	i,
		ParameterTypes::const_iterator &	end,
		RefNode	argNode,
		bool	hasVararg,
		RefNode	locationNode
	)			`[inline]`