Hi Richard, >>> and it crashes with gcc too :-( The original testcase works because gcc >>> folds the value into main even at -O0. > > Indeed, I filed gcc bug#50968 for this last week. are you sure this is the right gcc bug number? Ciao, Duncan.