Unwanted partial constant propagation in 64-bit integer arguments to builtins

Here are two examples that cause an internal error in Asmexpand.ml:

volatile long long x; void f(unsigned int i) { x = i; }

unsigned g(unsigned i) { return __builtin_clzll(i); }

The argument "i" to builtin volatile store or __builtin_clzll is turned into a BA_splitlong(BA_int 0, BA <variable i>), which Asmexpand.ml doesn't know how to handle.

The fix (in AST.builtin_arg_ok) is to prevent this 'optimization' for all builtins except those of the "OK_all" kind, i.e. __builtin_annot.

Regression tests were added and tested on IA32.  Need to retest on ARM and PowerPC.

0 files changed, 0 insertions, 0 deletions