#16 Variables not specified in the source code appear in the trace view

Default
open
None
2013-07-16
2013-07-15
No

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.

1 Attachments

Discussion

    • assigned_to: Mihai T. Lazarescu
     
  • 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