Control: retitle -1 [Fixed in 4.8] Assert_Failure sinfo.adb:2947 4.8.2-1 produces the expected error: bug.adb:3:04: warning: variable "B" is read but never assigned bug.adb:5:10: case expression is an Ada 2012 feature bug.adb:5:10: unit must be compiled with -gnat2012 switch