even on 64 bit systems src/hdrs/standard.h defines
INT to int and not to intptr_t or uintptr_t provided
by the system header <stdint.h>. Beside this
there are mixed function pointers with object
pointers which is not ISO C standard. Beside
this gcc requires -fno-strict-aliasing to avoid
warning about lines like
return (INT *)&pvalue(val);
from src/interp/pvalue.c : pvalue_to_pint().
Log in to post a comment.