uentry ue = sRef_getUentry (s);
/* must be raw name! (need the marker) */
- ue = usymtab_lookupSafe (uentry_rawName (ue));
+ /* Must be in the correct scope! */
+
+ ue = usymtab_lookupSafeScope (uentry_rawName (ue), sRef_lexLevel (s));
if (uentry_isUndefined (ue))
{
{
sRef_checkMutable (s);
s->nullstate = n;
+ DPRINTF (("Set null state ==> %s", sRef_unparseFull (s)));
sRef_resetAliasKind (s);
}
}
t->info = sinfo_copy (s);
t->defstate = s->defstate;
t->nullstate = s->nullstate;
+ DPRINTF (("Set null state==> %s", sRef_unparseFull (t)));
+
/* start modifications */
t->bufinfo.bufstate = s->bufinfo.bufstate;
s1->expinfo = stateInfo_update (s1->expinfo, s2->expinfo);
s1->nullstate = s2->nullstate;
+ DPRINTF (("Set null state==> %s", sRef_unparseFull (s1)));
s1->nullinfo = stateInfo_update (s1->nullinfo, s2->nullinfo);
valueTable_free (s1->state);
aliases = usymtab_allAliases (s);
- DPRINTF (("All aliases: %s", sRefSet_unparseFull (aliases)));
+ DPRINTF (("All aliases: %s --> %s", sRef_unparseFull (s), sRefSet_unparseFull (aliases)));
(*predf)(s, loc);
{
if (sRef_isReasonable (current))
{
+ DPRINTF (("Update: %s", sRef_unparseFull (current)));
current = sRef_updateSref (current);
+ DPRINTF (("Updated ==> %s", sRef_unparseFull (current)));
((*predf)(current, loc));
DPRINTF (("Killed: %s", sRef_unparseFull (current)));
}
/*@modifies res@*/
{
res->nullstate = other->nullstate;
+ DPRINTF (("update null state==> %s", sRef_unparseFull (res)));
res->nullinfo = stateInfo_update (res->nullinfo, other->nullinfo);
sRef_resetAliasKind (res);
}
}
res->nullstate = nn;
+ DPRINTF (("update null state==> %s", sRef_unparseFull (res)));
sRef_resetAliasKind (res);
}