[PATCH] D125919: Drop qualifiers from return types in C (DR423)

Fri Jun 3 10:56:58 PDT 2022

aaron.ballman added a comment.

In D125919#3556405 <https://reviews.llvm.org/D125919#3556405>, @delcypher wrote:

> @aaron.ballman
>
>>> Sorry if these are silly questions and if I've misunderstood something, I saw n1863 say "functions return unqualified types" and I was very surprised.
>>
>> These are not at all silly questions, so thank you for asking them!
>
> Thanks for taking the time to answer my questions. Your answers make sense to me apart from the `derived-declarator-type-list`. I'm not sure what that is, the copy of the standard I found doesn't seem seem to define what it is. I see other people have complained about this in the past (https://stackoverflow.com/questions/13779273/in-the-standard-what-is-derived-declarator-type) so I'll guess I'll stare at that for a while until it makes sense.

:-D It took me a while to find the answer when I was looking at that yesterday, but it's defined in C2x 6.2.5p26 (without the `-list` part, that's added because there could be multiple declarators for the same T, as in `const int f(void), g(int);`).

Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D125919/new/

https://reviews.llvm.org/D125919