https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68621
--- Comment #3 from vekumar at gcc dot gnu.org --- (In reply to Richard Biener from comment #2) > You can change the testcase to > > __attribute__((aligned (32))) float array[LEN] = {}; > > which makes it not require -fno-common either and it should work with -fpic > then > (double-check). I added option "-fno-common" to check condition returned by decl_binds_to_current_def_p is true. /* or the base is know to be not readonly. */ tree base_tree = get_base_address (DR_REF (a)); if (DECL_P (base_tree) && decl_binds_to_current_def_p (base_tree) Changing to __attribute__((aligned (32))) float array[LEN] = {} also tests that condition. Sure, I will send a patch to adjust the test case.