// S : tags   error min c  $TAGS
// S : expect --result error --location-comment ERROR
// S : cc     -o test.bc  $CC_OPT $file
// S : verify  $V_OPT test.bc

#include <stdint.h>

int foo( int x ) {
    return x + 42;
}

int main() {
    int (*fun)( int ) = (int (*)( int ))(((uintptr_t)foo) + 1);
    return fun( -42 ); /* ERROR */
}