<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/79240>79240</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            [RFC] [C++20] [Modules] Relax the ODR check for decls in global module fragment
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            clang:modules
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
            ChuanqiXu9
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          ChuanqiXu9
      </td>
    </tr>
</table>

<pre>
    The false positive ODR violation diagnostic for modules have been an annoying problem for a long time. We've received a lot of issue reports about it and I rarely see the reports saying the mechanism find real ODR violations. (a suspicious one may be https://github.com/llvm/llvm-project/issues/61643). 

Then in a private chat with MSVC developer, he told me MSVC don't check ODR violations in the global module fragment. This is a surprise to me and I never thought we can proceed by this. I feel this may be a regression at first. But I feel it might make sense due to:
- Like I said before, there are a lot of false positive ODR violation diagnostic while the true positive diagnostics are much less.
- On the other hand, given that the things in the global module fragment are mostly from headers, it won't be a regression compared with the era before modules.
- It is really hard for the compiler to get ODR Hash correct in the GMF due to the complexity of headers and C++. An example may be https://github.com/llvm/llvm-project/issues/78850. While all of us love standard conforming implementation, sometimes it is really to get things right.

So I'd like to take the same strategy with MSVC to not check ODR violations in the global module fragment. 

Given the fact that this is actually a regression on the standard conformance, I am not sure if people have different opinions.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJykVd1u4zYTfRr6ZrCCTMv2-sIX-YH3M_AFC2SDbm9H5EhkQ5EqSTnx2xdDy5tsUKBFF_APRA3PzJxzhsSUbO-J9mJ9K6S8MxP6P-3v005IKdb3C5yyCXH_tr5ogz7vnwxBhy4RjCHZbE8EX-8f4WSDw2yDB22x9yFlq6ALEYagJ0cJDJ4IWiIPyB8fztb3MMbQOhpKJIILvodsB6rgOwm5PRFEUmRPpMvbDKEDm9LE62OIOQG2YcpgM6DXcISIkdwZEhFk8xaVsGTjpYGUQW_TAJ31GiKh-7mBVIGQnxHSlEarbJgSBE8w4BlaApPzmMTqRsiDkIfeZjO1lQqDkAfnTte_T2MMf5DKQh5KuUnIw2a5aVZC7ioQ9b2oby6_T4Y8WA8IY7QnzATKYIYXmw08fPvtDjSdyIWRopB3YAhycBoGml8GL-Q2gzKknj-0wajccO9Ci27WAbqI_UA-V_BkbAKbgDuNY7SJsRn5wqSnE0XIJky9yfBCoNCzXIpIQ3uGbGyq4AgdkSsPV4YQIvWRUmIzYIbOxpQruJ3yNdpmGCyjDvhMkMgnAj1xeia20PIJ_m-fCY6Q0GpoqQuRmIBsKBIgf69--LdmfDHWXVyR4_Ruw1tIKsDDpAw4Sqm6lvL1QmTg5GDQa66ktyfidcwXTGN9_w-cX-BDyu4MXQwDGEJNMTGczfAyi_mRQxWGESPpiykYniLOnFzH60etx8yasqvdGQxGXUaLNzGMdaxpgJ5yIep_mAyoECOpfK39y8NhVuPHNkevNp-Z7Lni4pE7IW-FvK3gxgO9Iof9-pRsP39e1xV8L2Khc5x0SuDCiSBl9JpbUsF3IQ480pbTMrlFb2YyhYH4DEnM6RsXc9ezTpH9V70fxG8BjkJuNTg2HjfP5mQGEg6cO2Km_vxuMnMAH_7b7L1P_GU2Eh-rKl8dNc-mylOp_idDhEv4RzrQqzIjR8ChVJamSGA7GCmwNuUE1rbrKLIZw2h9Oe4Wer_Su9UOF7RfbutNvZGb1XJh9rRbY7dsGi1brGtaN3Kr2iV165WSWDe7hd3LWjb1Uja1XG6Xy6pd4WqzW6oGu_Wy2WnR1DSgdRXLXYXYL4rQ--1ONvXCYUsuzfePcuh7sbqZDT1fQnFfjNJOfRJN7WzK6Q0r2-zK9fV4uBPrexDr29mTsp6fH2a09T08ksPXQhxrdVGNZ0OTckWwvxdrMUW3_wU_c6d_BQAA__8i2InA">