gnatelim(1) on Linux
The text 89ad0682be49, as Debian 3.1 (Sarge) shipped it.
eliminate dead code from Ada programs
Flags it lists
-
-a -
-m -
-v -
-vf