------- Comment #6 from ebotcazou at gcc dot gnu dot org 2007-11-06 19:04 ------- > Eric: do you mean that tail recursive calls are not allowed with > -fstack-check?
No, they are allowed. Optimizing the Ada testcase into an infinite loop is OK if you don't consume the stack. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33826