rjmccall added a comment.

Without bothering to look it up, I would guess that the attribute-parsing code 
used to generically handle the ambiguity between identifier expressions and 
identifier attribute arguments by just always parsing simple identifiers as 
identifier arguments, making it Sema's responsibility to turn that back into an 
expression.  At some point, the parser was made sensitive to the actual 
attribute being parsed, but we never bothered to simplify Sema.  At any rate, 
the parser does now know exactly which argument of which attribute it's 
parsing, so there's zero reason for it to force this complexity on Sema 
anymore; if we find a case that parses identifier arguments, we should fix it 
in the parser to parse an expression instead.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D94092

_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to