void jsil_typecheckt::typecheck_symbol_expr(symbol_exprt &symbol_expr)
{
irep_idt identifier=symbol_expr.get_identifier();
// if this is a built-in identifier, check if it exists in the
// symbol table and retrieve it's type
// TODO: add a flag for not needing to prefix internal symbols
// that do not start with hash
if(has_prefix(id2string(identifier), "#") ||
identifier=="eval" ||
identifier=="nan")
{
symbol_tablet::symbolst::const_iterator s_it=
symbol_table.symbols.find(identifier);
if(s_it==symbol_table.symbols.end())
throw "unexpected internal symbol: "+id2string(identifier);
else
{
// symbol already exists
const symbolt &symbol=s_it->second;
// type the expression
symbol_expr.type()=symbol.type;
}
}
else
{
// if this is a variable, we need to check if we already
// prefixed it and add to the symbol table if it is not there already
irep_idt identifier_base = identifier;
if(!has_prefix(id2string(identifier), id2string(proc_name)))
{
identifier = add_prefix(identifier);
symbol_expr.set_identifier(identifier);
}
symbol_tablet::symbolst::const_iterator s_it=
symbol_table.symbols.find(identifier);
if(s_it==symbol_table.symbols.end())
{
// create new symbol
symbolt new_symbol;
new_symbol.name=identifier;
new_symbol.type=symbol_expr.type();
new_symbol.base_name=identifier_base;
new_symbol.mode="jsil";
new_symbol.is_type=false;
new_symbol.is_lvalue=new_symbol.type.id()!=ID_code;
// mark as already typechecked
new_symbol.is_extern=true;
if(symbol_table.add(new_symbol))
{
error() << "failed to add symbol `"
<< new_symbol.name << "' in the symbol table"
<< eom;
throw 0;
}
}
else
{
// symbol already exists
assert(!s_it->second.is_type);
const symbolt &symbol=s_it->second;
// type the expression
symbol_expr.type()=symbol.type;
}
}
}
