> It seems unfortunate that the warning doesn't accept /* ... fall > through ... */ as a fallthrough comment.
Seconded. The warning should take into account existing practices instead of forcing the user to make completely bogus changes to the code (and Ada should have been tested before the patch was approved). -- Eric Botcazou