Download Bound-T Reference Manual - Bound

Error Message
Option conflict: HRT analysis
requires time bounds
Patch address invalid: A
Patch data missing.
Patch line too long (over N
characters).
Patch parameter invalid: P
Recursion detected
Meaning and Remedy
Reasons
The subprogram has an irreducible flow-graph or loops
with an unbounded number of repetitions, and the
assertions on the number of repetitions of other parts
of the flow-graph (calls) are not sufficient to bound the
execution time, contradicting the enough for time
assertion.
Solution
Add more assertions on the number of repetitions of
loops or other parts of the subprogram.
Problem
The command-line options request HRT analysis ( -hrt)
but disable time analysis (-no_time). This is
contradictory.
Reasons
The only purpose of the HRT analysis is to provide
execution-time bounds for an HRT model. Thus an
HRT analysis with -no_time is useless.
Solution
Correct the command line.
Problem
The current patch file has a non-comment line that
starts with the token A which is not a valid patch
address (according to the target-specific syntax).
Reasons
Error in the patch file.
Solution
Correct the patch file. The Application Note for your
target processor should explain the address format to
be used in patch files for this processor.
Problem
The current patch file has a line with a valid patch
address but no data (nothing after the address).
Reasons
Error in the patch file.
Solution
Correct the patch file. See section 3.7.
Problem
The current patch file has a line that contains more
than the maximum of N characters.
Reasons
Error in the patch file.
Solution
Correct the patch file by shortening the line, perhaps by
removing leading or trailing whitesparce or other
redundant whitespace.
Problem
The current patch file has a parameter P that is neither
the name of a subprogram or a label nor a valid code
address (in the target-specific format).
Reasons
Error in the patch file, or perhaps name-mangling by
the compiler or linker.
Solution
Correct the patch file. See section 3.7.
Problem
The subprogram is part of a recursive cycle of calls,
either directly (Sub calls Sub) or indirectly (Sub1 calls
Sub2, Sub2 calls Sub1, and so on).
This error message is followed by one or more
Recursion_Cycle output lines that describe one
recursion cycle in the program (there may be more).
Reasons
1. The target program was written in that way.
2. The analysis has overestimated the set of targets of a
dynamic jump (perhaps a switch-case structure) and
this has created a false (infeasible) recursion cycle.
3. The analysis has wrongly assumed that some branch
instruction(s) are actually (optimized) tail call(s) and
this has created a spurious recursion cycle.
116
Error messages
Bound-T Reference Manual