On 10/7/26 7:54 PM, Jakub Jelinek wrote:
On Wed, Oct 07, 2026 at 09:56:06AM -0400, Jason Merrill wrote:
P1811 says it's OK to redefine an imported global module entity in a
different translation unit. The simplest (and fastest) way to handle that
is skipping the tokens of the redundant definition. At some later point we
might want to optionally parse the new definition and compare it to the
imported one for ODR checking, but it isn't necessary for supporting
well-formed code. This does allow wildly ill-formed code in the
redefinitions for the sake of speed, on the assumption that the the
definitions satisfy the ODR, probably because they are from the same source
code.
Shouldn't we bump the FTM to 201907, or is it too early for that yet?
I'm thinking to wait until the private module fragment is implemented.
Jason