------- Comment #2 from sam at gcc dot gnu dot org 2008-03-05 08:38 ------- Also note that for the same reason, you will not get a warning from an inlined body. See sem_warn.adb (Warn_On_Known_Condition). -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35464