On June 5, 2020 6:38:10 PM GMT+02:00, Eric Botcazou <botca...@adacore.com> wrote: >> I've installed it on trunk but will give it quite a while there >before >> backporting. I'm still somewhat worried about the >> >> /* ??? If we end up with a constant or a descriptor do not >> record a MEM_EXPR. */ >> else if (CONSTANT_CLASS_P (t) >> >> || TREE_CODE (t) == CONSTRUCTOR) >> >> ; >> >> case, maybe we should assert that bitpos == 0 here since we're >> dropping it on the floor but eventually inherit offset_known_p == >true >> from the already present MEM_ATTRs. > >It's hard to imagine without a testcase how you can end up inheriting >anything >for CONSTANT_CLASS_P or CONSTRUCTOR though: where do the MEM_ATTRs come >from?
For constructor it was constant descriptors seen during ada bootstrap. I can imagine constants are similar for constant pool entries. Richard.