Re: preview of the tree-check pass (Re: gcc project)

2006-04-07 Thread Nic Volanschi
On Fri, 2006-04-07 at 01:43, Joe Buck wrote: > On Thu, Apr 06, 2006 at 11:58:20PM +0200, Nic Volanschi wrote: > > 3. (in the caller:) exiting the function after a va_start() then a call > > to the mangler without an va_end(). > > This one involves more than a from/to/avoid; it is of the form > > fr

Re: preview of the tree-check pass (Re: gcc project)

2006-04-06 Thread Joe Buck
On Thu, Apr 06, 2006 at 11:58:20PM +0200, Nic Volanschi wrote: > 3. (in the caller:) exiting the function after a va_start() then a call > to the mangler without an va_end(). > This one involves more than a from/to/avoid; it is of the form > from/then/to/avoid. In other words, the corresponding aut

Re: preview of the tree-check pass (Re: gcc project)

2006-04-06 Thread Nic Volanschi
On Wed, 2006-04-05 at 09:12, Zack Weinberg wrote: > It's an interesting system. I wonder if it's powerful enough to express > the rather complicated constraints on objects of type va_list. Warnings > for violations of those constraints would be valuable - there are common > portability errors tha

Re: preview of the tree-check pass (Re: gcc project)

2006-04-05 Thread Zack Weinberg
It's an interesting system. I wonder if it's powerful enough to express the rather complicated constraints on objects of type va_list. Warnings for violations of those constraints would be valuable - there are common portability errors that could be caught - but it's never been important enough t