Hi, On Fri, 2 Sep 2011, Arnaud Charlet wrote:
> > Given the nature of the work-around which makes Ada work again it's fairly > > sure that the Ada frontend does emit accesses to an alloca'ed area of > > memory even if its size is zero. I.e. definitely a real bug. > > Well, it's not clear whether it's the Ada frontend or the middle which is > emitting these, and until we have more info, it's hard to know whether it's > a real bug. Although sounds like there might indeed potentially be an issue. > I guess valgrind would detect and report this kind of issue? Only the null pointer access, but that already trivial segfaults, not need for valgrind. invalid stack accesses aren't reported by valgrind as such, because the stack is usually initialized and writable. Just apply the test patch from Richi (returning const0_rtx from allocate_dynamic_stack_space for the size=0 case) and investigate. Ciao, Michael.
