Variables not specified in the source code appear in the trace view
Support for manual parallelization of sequential C programs.
Status: Beta
Brought to you by:
mtla
Menu
▾
▴
1 Attachments
#16 Variables not specified in the source code appear in the trace view
Variables not specified in the source code (or with unknown labels) appear in the trace view and propagate in the data-dependency view.
Some of these names typically are: tmp, retres, etc as in the figure attached.
Most of them are mapped on user-defined names.
However, some may never disappear. E.g., return a + b will be
mapped always on some __retresXX since there is no user-defined
name for the result of a + b.
In these cases, is there any naming-convention so one can know when these "unknown" labels are mapped to global constants, temporal results, etc?
I have seen various kinds. Some start with "_cil" or "___retres".
Some end in "___N" ('N' is a number), but they are prefixed
with a source variable name.
Then there are those difficult to set apart from user defined
vars, like "tmpN" ('N' is a number).
I have attempted to replace the "__cil" and "__retres", but
left the others unchanged for now.
I think the best way to figure out their underlying source
var (if any) is by using the command 'e' over the vars in the
dependency view.
Last edit: Mihai T. Lazarescu 2013-07-16