gnatelim(1) on Linux
The text 401ac5c567aa, as Debian 4.0 (Etch) shipped it.
eliminate dead code from Ada programs
Flags it lists
-
-a -
-m -
-v -
-vf