RE: [avr-gcc-list] Stack usage under heavy inlining

[Weddington, Eric]

> -----Original Message-----
> From: Tristan Gingold [mailto:address@hidden 
> Sent: Monday, September 08, 2008 9:55 AM
> To: Weddington, Eric
> Cc: Paulo Marques; address@hidden; John Regehr
> Subject: Re: [avr-gcc-list] Stack usage under heavy inlining
> 
> > That's a pity. But was this tool geared towards Ada only?
> 
> Not at all.  It was working for any program compiled by GCC.  
> This is  
> just a new option for gcc so that
> it generates .su files (stack usage) containing the number of bytes  
> allocated in the stack.  For more
> complex cases, it could be the maximum size.
> There was also a new option to generate the call graph.

That's exactly what the AVR needs.
 
> > John and I have had a number of conversations since then about the  
> > general problem of doing static analysis on stack usage, and it is  
> > a difficult problem to solve.
> 
> For the general case, it is difficult.  For avionic 
> application it is  
> much easier!

Sure. There are more restrictions which will remove the more dangerous 
complexities, e.g. recursion.
 
> Feel free to ask status about http://gcc.gnu.org/ml/gcc-patches/ 
> 2006-06/msg01021.html,
> that can help integration!
> 

I would, but I think it would be better if the patch were updated and reposted. 
That's a 2 year old patch.