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
From the example file, it is clear that the node for the function declaration of foo in the resulting control-flow graph is NOT annotated with a feature. Nevertheless, there is a feature annotation in the resulting graph:
As you can see on the bold line, the function foo is annotated with definedEx(X) – instead of 1.
The other nodes and all the edges are fine, however.
I guess, the error results from a non-flushed temporary data structure. At least, it sounds like something of this kind.
Hopefully, someone, who is familiar with the code, can help on this problem.
Thanks in advance.
The text was updated successfully, but these errors were encountered:
In joint work with Stefan from Vienna and Thomas (@bockthom), we discovered that there is a bug in the
--dumpcfg
routine of TypeChef.Consider following input file with an empty feature model:
As a sidenote, TypeChef (on 083e742, most recent commit on
master
) is called like this:From the example file, it is clear that the node for the function declaration of
foo
in the resulting control-flow graph is NOT annotated with a feature. Nevertheless, there is a feature annotation in the resulting graph:As you can see on the bold line, the function
foo
is annotated withdefinedEx(X)
– instead of1
.The other nodes and all the edges are fine, however.
I guess, the error results from a non-flushed temporary data structure. At least, it sounds like something of this kind.
Hopefully, someone, who is familiar with the code, can help on this problem.
Thanks in advance.
The text was updated successfully, but these errors were encountered: