On 03/31/12 20:59, enricus@ wrote:

Ciao Roberto. This snapshot passes all of the 10 tests beautifully. So yes, it was most probably fixed with your recent commits.

Hello Enric, thank you for reporting back.

Is it safe to build gcc with this release or better we wait until a release in the period of time you said?

I think it is better to wait: as I said, at most two weeks. Cheers, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it