On Mon, 2015-10-12 at 15:21 +0200, Samuel Thibault wrote:
> I believe they will. But perhaps in your tests they didn't (but did
> your tests really try that?), in which case it'd mean there is a bug.
> But for now nothing said there was a bug there.
FYI: gcc-snapshot (20150817, not 20150913)
Svante Signell, le Tue 13 Oct 2015 13:42:22 +0200, a écrit :
> On Mon, 2015-10-12 at 15:21 +0200, Samuel Thibault wrote:
>
> > I believe they will. But perhaps in your tests they didn't (but did
> > your tests really try that?), in which case it'd mean there is a bug.
> > But for now nothing
On Tue, 2015-10-13 at 13:49 +0200, Samuel Thibault wrote:
> Svante Signell, le Tue 13 Oct 2015 13:42:22 +0200, a écrit :
> > On Mon, 2015-10-12 at 15:21 +0200, Samuel Thibault wrote:
> > FYI: gcc-snapshot (20150817, not 20150913) and frama-c (20150201+sodium
> > +dfsg-2) with downgraded
