check_c_source_compiles(
    "
    typedef int cl_aligned_int __attribute__((aligned)); int main(){return 0;}
    "
    HAVE_ATTRIB_ALIGNED )