https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58012
Mario Emmenlauer <mario at emmenlauer dot de> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |mario at emmenlauer dot de
--- Comment #2 from Mario Emmenlauer <mario at emmenlauer dot de> ---
I'm still plagued by this issue with gcc 5.4.0 and gcc 6.3.0 on CentOS 6.8 and
CentOS 7.3.1611. I tried with and without my own isl 0.18.0, no difference. Was
this never really resolved? Newest isl 0.18.0 has int.h only in the
include/deprecated/ directory, is the patch still needed?