Using the following OpenCL with a HD 4600 device (as found on a Dell AlienWare 17) stops compilation with:
fcl build 1 succeeded.
Video driver is 10.18.10.3496 (latest available through DELL support web site), OpenCL SDK is Intel® SDK for OpenCL* Applications 2013 R2.
The complete source file is known to compile and work with AMD OpenCL, NVIDIA OpenCL en Intel CPU device OpenCL. Attached is an excerpt which still has the crash behavior.