shafik added inline comments.

================
Comment at: clang/lib/Sema/SemaTemplate.cpp:1594
+      if (VarDecl *VD = dyn_cast<VarDecl>(DRE->getDecl())) {
+        if (VD->isLocalVarDecl()) {
+          Diag(DRE->getLocation(),
----------------
So if we look at `CheckDefaultArgumentVisitor::VistDeclRefExpr` it has a 
comment about having to check ODR use due to [cwg 
2346](https://cplusplus.github.io/CWG/issues/2346.html) and I believe you 
should be using that as well.

Which would make your example below pass since the variable is `const` see: 
https://godbolt.org/z/78Tojh6q5

It looks like neither gcc nor MSVC implement this DR.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D139400

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

Reply via email to