[PATCH] Enable ISL's small integer optimization

[Joerg Sonnenberger]

On Thu, Jun 18, 2015 at 04:03:08PM +0200, Michael Kruse wrote:
> > Which is the point, for GCC and
> > Clang, the choice if any should be gnu99.
> 
> Since the compilation of ISL does not need any GNU extensions, I don't
> see the point of using -std=gnu99.

It changes the behavior of system headers. As I said, that's asking for
trouble.

Joerg