> The implementation of -Wstack-usage is a bit lame in that it does not do > any flow analysis or tie into the range information computed by VRP.
Right, that was by design in order to be conservatively correct. May I remind you of where we came from with -Wframe-larger-than? :-) > Moving the stack usage computation into its own analysis phase which has > access to VRP bounds and such would be a a significant improvement and > one which I think would be quite useful. Yes, provided the outcome is still guaranteed to be conservatively correct. -- Eric Botcazou