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?