Hello! ... where they belong according to ChangeLog. 2012-12-07 Uros Bizjak <ubizjak@gmail.com> * stack_check3.ad[sb]: Move to gnat.dg. [Patch omitted, since it is just trivial move.] Committed to 4.7 branch. Uros.