Download Bound-T User Manual - Bound

Warning Message
Meaning and Remedy
Action
This warning is given only if the command­line option ­warn literal is used. To suppress the warning but still exclude the value from the arithmetic analysis, omit this option.
The value of the limit can be set by the command­line option ­calc_max. To include the value in the arithmetic analysis, increase the limit using this option. However, this increases the risk that the Omega calculator runs into overflow, which makes the arithmetic analysis fail.
Duplicated symbol : dup­conn : first­ conn
Reasons
The symbol­table in the target executable file contains two (or more) occurrences of the same symbol (identifier) which are not distinguished by scope or other context. Moreover, these two occurrences connect the same symbol to different machine­level values (eg. different addresses) so the symbol is ambiguous.
The part first­conn describes the first occurrence of the symbol and the part dup­conn describes the current (second, third, ...) occurrence of the symbol.
The first­conn and dup­conn parts each consist of three fields separated by colons: the kind of the symbol, the symbol (identifier) itself, fully qualified by scope; and the machine­level value connected to the symbol.
The symbol­kind is one of “Subprogram”, “Label”, “Variable” or “Source line”.
This warning often occurs with compiler­generated symbols for subprogram prelude and postlude code, return point addresses, and so on. The target compiler/linker created the file with this content, or Bound­T did not recognize the distinguishing features of these insignificant symbols.
This warning is emitted only if the command­line option ­warn symbol is enabled (it may be enabled by default). The option ­warn no_symbol suppresses this warning.
Duplicated symbol and value : dup­ conn Action
The first occurrence of the symbol is accessible (to assertions, for example), the others are not (or must be referred to via their addresses). No action by the user can correct this problem in general. For some target processors command­line options may control which symbol­tables that Bound­T scans for symbols; limiting the selection may remove some of these warnings.
Reasons
The symbol­table in the target executable file contains two (or more) occurrences of the same symbol (identifier) which are not distinguished by scope or other context. However, these two occurrences connect the symbol to the same machine­level values (eg. addresses) so this duplication does not make the symbol ambiguous.
The part dup­conn describes the two occurrences which are equal. See the warning “Duplicated symbol”, above, for a description of the form of dup­conn.
160
Troubleshooting
Bound­T User Manual