kadircet accepted this revision.
kadircet added a comment.
This revision is now accepted and ready to land.

as discussed offline LG from my side.

regarding the default arg of a parameter containing an error, it seems to be 
effecting type information of the parameter even though the type is explicitly 
specified. so it feels like either:

- one cannot perform any semantic checks on a parmvardecl with an errornous 
default arg, hence error dependence bit should be propagated from default arg 
to the parameter, or
- there's an issue with the type checking logic itself and it shouldn't be 
making type of the var decl depend on the default argument (when it is 
explicitly specified in the declaration).

but i am not an expert in either, so these are just feelings :). But it'd be 
great if we got rid of the additional default arg containing error check in 
here one way or the other.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D103825

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

Reply via email to