[polly] r184529 - Use isl_val instead of isl_int in the core of Polly

[Tobias Grosser]

[...]

>>
>> --- polly/trunk/utils/checkout_cloog.sh (original)
>> +++ polly/trunk/utils/checkout_cloog.sh Fri Jun 21 01:41:31 2013
>> @@ -1,7 +1,7 @@
>> #!/bin/sh
>>
>> CLOOG_HASH="f861f854b6cc85b67e39794e38e7104fcd59af90"
>> -ISL_HASH="1df91d8515ec88dc7f7f597168ad0f34f26de5a7"
>> +ISL_HASH="0a83197c479109b0f7c327484b80a878f291b296"
>>
>> PWD=`pwd`
>
> I'm afraid this change regresses your fix in r184064.
>
> Below is the output I get from a "make check" of cloog.

Thanks again for catching those test suite failures. I now committed
a change to our on-commit tester:

commit 4e394001fc92de0a2d26fbaa33dded6d4744067d
Author: grosser <grosser at 91177308-0d34-0410-b5e6-96231b3b80d8>
Date:   Thu Jun 27 15:34:01 2013 +0000

     Run 'make check' for CLooG and isl

     git-svn-id: https://llvm.org/svn/llvm-project/zorg/trunk@185083

This one should prevent that 'make check' failures in CLooG remain 
unnoticed.

Thanks again,
Tobias