> If the global is module local we should initialize it with NULL, yes. If it > is > not module local it should be initialized with NONLOCAL (that's both what > should currently happen correctly - it's needed for non-field-sensitive init > as well). >
Awesome, thanks Richard! One more question: in the context of LTO, "module local" means the current partition? I understand that IPA-PTA is a late SIMPLE_IPA_PASS but my understanding of the consequences of this is a little fuzzy. I think that IPA-PTA also runs in multiple partitions (unless a flag like -flto-partition=none is used), but there might be some issue with reduced precision. Perhaps this reduced precision comes from NONLOCAL constraints with symbols that cross partitions? (This is just speculation on my part, as I mention, my understanding is a little bit fuzzy.)
