You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The current model injects the tokens void f(foo* p) { } into the token stream and then parses them within the context of the prototype bar. This means the name foo will not be parsed correctly.
We need to parse those tokens as if they were injected into foo and then inject the resulting members into bar.
The text was updated successfully, but these errors were encountered:
This change is a prerequisite for a lot of features like proper
post-condition violations and aggregate support. Implementing this also
showed us references are special and they need a lot of
workaround/special casing. It would be great to somehow abstract away
from them.
Calculating the type of a variable is no longer that cheap, maybe it
would be worth to store an always up to date version?
That way we could also make this and temporary variables typed in
the representation.
This fixesasutton#22.
(cherry picked from commit 5e624a8b736d8ec12b856e6508155368960e2aab)
Consider:
The current model injects the tokens
void f(foo* p) { }
into the token stream and then parses them within the context of the prototypebar
. This means the namefoo
will not be parsed correctly.We need to parse those tokens as if they were injected into
foo
and then inject the resulting members intobar
.The text was updated successfully, but these errors were encountered: