Agilent Technologies 1670G To verify correct return from a function call

108
Triggering Examples
Single-Machine Trigger Examples
To verify correct return from a function call
The exit code for a function will often contain instructions for
deallocating stack storage for local variables and restoring registers
that were saved during the function call. Some language
implementations vary on these points, with the calling function doing
some of this work, so you may need to adapt the procedure to suit your
system.
1Go to the state analyzer’s Trigger menu.
2Define terms SR_START and SR_END to represent the start and
end addresses of the subroutine.
3Under State Sequence Levels, insert 2 more sequence levels and
enter the following sequence specification:
•While storing "anystate" Find "SR_START" Occurs "1" E lse on "no state" go
to level "1"
•While storing "anystate" Then find "SR_END" Occurs " 1" Else on "no state"
go to level "2"
•While storing "anystate" TRIGGER on "/=SR_START" Occurs "1" Else on
"SR_START" go to level "2"
Verifying Correct Return from a Function Call