[PPL-devel] Failures in the PPL testsuite configured with gcc 4.4

[Roberto Bagnara]

Sebastian Pop wrote:
> On Tue, Dec 16, 2008 at 12:12 PM, Dominique Dhumieres
> <dominiq at lps.ens.fr> wrote:
>> Hi Sebastian,
>>
>> I have done a "make check" in PPL with both gcc 4.3 and 4.4. I got 4 failing
>> tests with 4.4. Before I fill a pr, did you see that?
> 
> I do not know of these problems.  In general, if there are problems
> with PPL, please CC the PPL-devel mailing list.

Hi Dominique,

I would like to try to reproduce the failures you observe.
What do you mean exactly by GCC 4.4?  Is that the same
as some revision of GCC's SVN trunk?  If so, which one?
All the best,

   Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it