bool ExtendedSymbol::is_array( ) const
{
if( _n.is<Nodecl::ArraySubscript>( ) )
return true;
else if (_n.is<Nodecl::ClassMemberAccess>())
{
Nodecl::ClassMemberAccess member_acc = _n.as<Nodecl::ClassMemberAccess>();
ExtendedSymbol class_(member_acc.get_lhs());
ExtendedSymbol memb_(member_acc.get_member());
return ( class_.is_array() || memb_.is_array() );
}
else if (_n.is<Nodecl::Reference>())
{
Nodecl::Reference ref = _n.as<Nodecl::Reference>();
ExtendedSymbol ref_(ref.get_rhs());
return ref_.is_array();
}
else if (_n.is<Nodecl::Dereference>())
{
Nodecl::Dereference ref = _n.as<Nodecl::Dereference>();
ExtendedSymbol ref_(ref.get_rhs());
return ref_.is_array();
}
else
return false;
}
bool ArrayAccessInfoVisitor::visit( const Nodecl::Reference& n )
{
return walk( n.get_rhs( ) );
}
ObjectList<Nodecl::NodeclBase> ExtendedSymbol::get_nodecls_base( const Nodecl::NodeclBase& n )
{
if (n.is<Nodecl::Symbol>() || n.is<Nodecl::PointerToMember>() || n.is<Nodecl::ObjectInit>() || n.is<Nodecl::FunctionCall>())
{
return ObjectList<Nodecl::NodeclBase>(1, n);
}
else if (n.is<Nodecl::IntegerLiteral>() || n.is<Nodecl::FloatingLiteral>() || n.is<Nodecl::ComplexLiteral>()
|| n.is<Nodecl::StringLiteral>() || n.is<Nodecl::BooleanLiteral>())
{
return ObjectList<Nodecl::NodeclBase>();
}
else if (n.is<Nodecl::ClassMemberAccess>())
{
Nodecl::ClassMemberAccess aux = n.as<Nodecl::ClassMemberAccess>();
return get_nodecls_base(aux.get_lhs());
}
else if (n.is<Nodecl::ArraySubscript>())
{
Nodecl::ArraySubscript aux = n.as<Nodecl::ArraySubscript>();
return get_nodecls_base(aux.get_subscripted());
}
else if (n.is<Nodecl::Reference>())
{
Nodecl::Reference aux = n.as<Nodecl::Reference>();
return get_nodecls_base(aux.get_rhs());
}
else if (n.is<Nodecl::Dereference>())
{
Nodecl::Dereference aux = n.as<Nodecl::Dereference>();
return get_nodecls_base(aux.get_rhs());
}
else if (n.is<Nodecl::Conversion>())
{
Nodecl::Conversion aux = n.as<Nodecl::Conversion>();
return get_nodecls_base(aux.get_nest());
}
else if (n.is<Nodecl::Cast>())
{
Nodecl::Cast aux = n.as<Nodecl::Cast>();
return get_nodecls_base(aux.get_rhs());
}
/*!
* We can have (pre- post-) in- de-crements and other arithmetic operations
* Example:
* T *curr_high = ...;
* *curr_high-- = l;
* "*curr_high--" is a _KILLED_VAR
*/
else if (n.is<Nodecl::Predecrement>())
{
Nodecl::Predecrement aux = n.as<Nodecl::Predecrement>();
return get_nodecls_base(aux.get_rhs());
}
else if (n.is<Nodecl::Postdecrement>())
{
Nodecl::Postdecrement aux = n.as<Nodecl::Postdecrement>();
return get_nodecls_base(aux.get_rhs());
}
else if (n.is<Nodecl::Preincrement>())
{
Nodecl::Preincrement aux = n.as<Nodecl::Preincrement>();
return get_nodecls_base(aux.get_rhs());
}
else if (n.is<Nodecl::Postincrement>())
{
Nodecl::Postincrement aux = n.as<Nodecl::Postincrement>();
return get_nodecls_base(aux.get_rhs());
}
else if (n.is<Nodecl::Add>())
{
Nodecl::Add aux = n.as<Nodecl::Add>();
ObjectList<Nodecl::NodeclBase> rhs = get_nodecls_base(aux.get_rhs());
ObjectList<Nodecl::NodeclBase> lhs = get_nodecls_base(aux.get_lhs());
return rhs.append(lhs);
}
else
{
internal_error("Unexpected type of nodecl '%s' contained in an ExtendedSymbol '%s'",
ast_print_node_type(n.get_kind()), n.prettyprint().c_str());
}
}