[PPL-devel] Problems with test suite on alpha

[Roberto Bagnara]

On 09/09/2010 08:28 AM, Michael Tautschnig wrote:
>> Michael Tautschnig wrote:
>>> I've reported problems with some test cases because of suspected gcc bugs on
>>> alpha earlier already. Now it seems that even more test cases are broken, most
>>> probably because of the very same bug (I suspect it to be
>>> http://gcc.gnu.org/bugzilla/show_bug.cgi?id=8966). My question now is: How to
>>> proceed? Shall I specifically disable the failing test cases by surrounding them
>>> with an #ifndef __alpha__ or disable the entire test suite on alpha?
>>
>> Hi Michael,
>>
>> from what you write, there is a bug in GCC concerning exception handling on
>> the Alpha.  Strictily speaking, the PPL uses exception handling, so if that
>> does not work on the Alpha, the PPL does not work on the Alpha.  And there
>> is nothing to do but fix the GCC bug.
>>
>
> It was suggested that I retry the PPL build with GCC 4.5 and it seemed to work
> fine (well, of course I first removed all the #ifndef __alpha__ stuff). The
> interesting thing, however, is that the problems seem to have been resolved with
> GCC 4.4 or even earlier already. Whatever exactly might have fixed the problem,
> in my opinion it would be best to remove all the #ifndef __alpha__ and see
> whether the problem ever occurs again.

Hi Michael,

thanks for the update.  How about changing all the #ifndef __alpha__ to

#if !defined(__alpha__)                                 \
   || !defined(__GNUC__)                                 \
   || __GNUC__ > 4                                       \
   || (__GNUC__ == 4 && __GNUC_MINOR__ >= 4)


?
Cheers,

    Roberto

-- 
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it