User`s guide

PALcode Violation Checker 12–35
PVC Commands
set pal_end
set pal_end
The set pal_end command specifies the offset to the end of code in the executable
file.
Format
set pal_end

end_address
Parameters
end_address
Specifies the end of code to be checked; the default is FFFFFFF.
Description
The set pal_end command is the offset in the code file to the end of the code. This
allows PVC to predetermine where it looks for dead code (code never branched to).
It never looks beyond pal_end bytes into the code.
Example
% pvc
PALcode Violation Checker V3.26
Default Cpu set to DECchip 21164 family.
PVC> set pal_end f10000
PAL end noted. PVC won’t look for dead code past that address.
PVC> show all
There is no log file specified.
The CPU is set to 21164.
The warnings flag is set.
The errors flag is set.
The PAL base is 0.
The PAL end is f10000.
PVC> exit