https://bugs.freedesktop.org/show_bug.cgi?id=75400
--- Comment #7 from Bruno Jiménez brunojimen@gmail.com --- Hi Francisco,
The segfaults were caused because 'clGetPlatformIDs' returned an strange error (-1001), and when passed to 'clUtilErrorString' (from 'cl_util.c') it meant an unhandled error case. So it returned nothing, and when fprintf tries to write it it gives a segfault.
Emil,
I'll try that patch as soon as I can.
Thanks!