SyscallTailInfo Type
A basic block may end with a syscall instruction, and the syscall may terminate the program or not. We store such information for each basic block to easily track them.
Union cases
| Union case | Description |
Full Usage:
ExitSyscallTail
|
The basic block has an exit syscall. |
Full Usage:
NoSyscallTail
|
The basic block has no syscall. |
Full Usage:
RegularSyscallTail
|
The basic block has a regular (non-exit) syscall. |
Full Usage:
UnknownSyscallTail
|
The basic block has a syscall, but we didn't yet analyzed its type. |