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

    <tr>
        <th>Summary</th>
        <td>
            Expressions in _Generic Misinterpret the Standard
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

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

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

<pre>
    The _Generic keyword introduced in C11 is very useful for defining type generic code, but its capabilities are hamstrung by a narrow interpretation of the spec which I don't think is supported by the text therein.

Follows is an example program which fails to compile, but which I believe should compile under the spec:

```c
struct s1 {
    int x;
};
struct s2 {
    int y;
};

int f1(struct s1 s);
int f2(struct s2 s);

int main(void) {
    struct s1 s = {0};
    return _Generic( (s),
                     struct s1 : f1(s),
                     struct s2 : f2(s) );
}
```

This program is rejected by clang with the error

```
main.c:15:37: error: passing 'struct s1' to parameter of incompatible type 'struct s2'
 struct s2 : f2(s) );
 ^
```

I believe this is in error, as the branch which the error occurs in is never evaluated, and this is known at compile time.

In ISO 9899:2023 section 6.5.1.1 paragraph 3, it says
> The controlling expression of a generic selection is not evaluated. If a generic selection has a generic association with a type name that is compatible with the type of the controlling expression, then the result expression of the generic selection is the expression in that generic association. Otherwise, the result expression of the generic selection is the expression in the default generic association. None of the expressions from any other generic association of the generic selection is evaluated.

I may be mistaken, but I believe that saying that the other generic associations are not evaluated means that they should not be rejected for being invalid as long as they parse as expressions.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJysVs2Om0gQfpr2pRQEDR7MwYfJzDialXZzSO6rAsrQO0036m7s8duvChiME2-Uw1oIQ9ffV_-g96oxRHux_Sy2zxscQmvd_vXLH9a3A25KW1_231uCv7-QIacqeKPL2boalAnO1kNF_AhPSQLKw4ncBQZPx0HD0Tqo6aiMMg2ES0_QzCoqW5OQT1AOAVTwUGGPpdIqKPKAjqDFzgc3mAbKCyAYdM6e2SK53lHAoKwBe4TQEvieKji3qmrhFWprhMwDhFaZNwbkh763LlDNmpg90DuTyZEykYifRfw43Q9Wa3v2LIQG6B27XhP0zjYOu9nAEZX2ECxUtuuVXpz4MF-SVnQi8K0ddP3BBYOpyS1gRfq4tise4umqpnd2vArgExD55-kIANh5eBfpfCLy5-X5Q0D-LHC5KzDdmX5MhNxdDXohi4VrpMsVXd7Sr1wdKiPk7mRVLWRxi2KlHET6zMR4jYV5HIXBmaXChNwBm2Vj8unK9tNvFan0cfblt4XkJCRnIbhxLX_-ITdrl7-3yi91oTw4-oequcIqjaaBswrtmG5yzrq7yZ5eOXIRF0SyFeljmjOkSSZ9hJ570zQgZL54KmTO5dejw44COW4CZbjOMKhS09RnKwkpZD5H43c8B7F9-YXr1woPHAS-zAxYPgH60enSoanauSeWKICtqsGNAsqDoRM5oBPqAQPVo7SpF61vxp4NYFg6KKiObrr11cDrt69Q7IpCpI8ylil4qsa58BBtoyRKxiA1DvsWUtavAni8-FlJ-gI81SrLU0xrjjO99468n0cLLtPKk541M3AbrrAjeL3P2KJfnaP3tlLT0BpLA6c0Gew4kBhY8SqHS_mMXPOYu4-UHQstmZHFkR90-MEPJtz1ZMzMlVWZCcod0BF85YF5Vp5me_-DKeLdgKzkrsW_rFlcv4p6ODrbAZoLWIZ0N8S_QnJN3W1Zd3iBkqBTPuAbmY-5vq53HOtn3GX8zCb-E8O0xW5qBTpC4xfZy8eOYKaSrkOEt2ZJbEaZE2pVc1tpa5q5vS5c1574bRWXaFPv07pIC9zQPsnjIk_T3a7YtPv8mB_zosqytEyqlIqkqNIkK_I8PmKW59VG7WUssziNH5IszrJtVD1ss0zWD7sspyxLSWQxdah0pPWpi6xrNsr7gfa7LMnlRmNJ2o-fD1IaOsNIFFLy14Tbs8yncmi8yGKtfPBXLUEFTfuXVXLVdQnAn8ov-34M9reApkZXbwan920IvedFKg9CHhoV2qGMKtsJeWD989-n3lkOq5CHEZUX8jCi_jcAAP__jW_oTg">