Re: [PATCH] Avoid UB in the Ada FE

2017-06-23 Thread Eric Botcazou
> Another option would be to change atomic_access_required_p to add > *sync = false; > before the first return, or to initialize bool sync = false; at the > definition. Yes, let's do the initialization at the definition (no need to retest). -- Eric Botcazou

[PATCH] Avoid UB in the Ada FE

2017-06-22 Thread Jakub Jelinek
Hi! I'm seeing almost 750 of runtime errors like: ../../gcc/ada/gcc-interface/trans.c:6992:20: runtime error: load of value 240, which is not a valid value for type 'bool' (with random values in place of the 240 above) during bootstrap-ubsan. The problem is that atomic_access_required_p only ini