Re: r267338 - Improve diagnostic checking for va_start to also warn on other instances of undefined behavior, such as a parameter declared with the register keyword in C, or a parameter of a type that

2016-08-25 Thread Frédéric Riss via cfe-commits
> On Aug 25, 2016, at 8:17 AM, Aaron Ballman wrote: > > On Thu, Aug 25, 2016 at 11:04 AM, Frédéric Riss wrote: >> >>> On Aug 25, 2016, at 7:44 AM, Aaron Ballman wrote: >>> >>> On Tue, Aug 23, 2016 at 9:32 PM, Frédéric Riss wrote: Hey Aaron, This commit triggers warnings when

Re: r267338 - Improve diagnostic checking for va_start to also warn on other instances of undefined behavior, such as a parameter declared with the register keyword in C, or a parameter of a type that

2016-08-25 Thread Frédéric Riss via cfe-commits
> On Aug 25, 2016, at 7:44 AM, Aaron Ballman wrote: > > On Tue, Aug 23, 2016 at 9:32 PM, Frédéric Riss wrote: >> Hey Aaron, >> >> This commit triggers warnings when the argument to va_start is an enum type. >> The standard says: >> >> 7.16.1.4 The va_start macro >> >>• 4 The parame

Re: r267338 - Improve diagnostic checking for va_start to also warn on other instances of undefined behavior, such as a parameter declared with the register keyword in C, or a parameter of a type that

2016-08-23 Thread Frédéric Riss via cfe-commits
Hey Aaron, This commit triggers warnings when the argument to va_start is an enum type. The standard says: 7.16.1.4 The va_start macro • 4 The parameter parmN is the identifier of the rightmost parameter in the variable parameter list in the function definition (the one just before t