Ce problème devrait être résolu dans une version ultérieure du Intel FPGA SDK pour le logiciel OpenCL.