[all-commits] [llvm/llvm-project] 6b760a: DR2100: &expr is value-dependent if expr constant-...

[Richard Smith via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 6b760a50f52142e401a6380ff71f933cda22a909
      https://github.com/llvm/llvm-project/commit/6b760a50f52142e401a6380ff71f933cda22a909
  Author: Richard Smith <richard at metafoo.co.uk>
  Date:   2020-12-15 (Tue, 15 Dec 2020)

  Changed paths:
    M clang/include/clang/AST/ComputeDependence.h
    M clang/lib/AST/ComputeDependence.cpp
    M clang/lib/AST/Expr.cpp
    M clang/test/CXX/drs/dr21xx.cpp
    M clang/test/SemaTemplate/temp_arg_nontype_cxx1z.cpp
    M clang/www/cxx_dr_status.html

  Log Message:
  -----------
  DR2100: &expr is value-dependent if expr constant-evaluates to a
dependent declaration.


  Commit: 7e7f38f853fbf96c6ab2a0e5f9d7747ef8a76ffe
      https://github.com/llvm/llvm-project/commit/7e7f38f853fbf96c6ab2a0e5f9d7747ef8a76ffe
  Author: Richard Smith <richard at metafoo.co.uk>
  Date:   2020-12-15 (Tue, 15 Dec 2020)

  Changed paths:
    M clang/include/clang/AST/Decl.h
    M clang/lib/AST/ComputeDependence.cpp
    M clang/test/CXX/drs/dr14xx.cpp
    M clang/test/CXX/drs/dr21xx.cpp
    M clang/test/CXX/drs/dr2xx.cpp
    M clang/test/CXX/temp/temp.res/temp.dep/temp.dep.constexpr/p2-0x.cpp
    M clang/test/SemaCXX/typedef-redecl.cpp
    M clang/test/SemaCXX/vector.cpp
    M clang/www/cxx_dr_status.html

  Log Message:
  -----------
  DR1413 and part of P1815R2: Minor improvements to Clang's determination
of type- and value-dependency.

A static data member initialized to a constant inside a class template
is no longer considered value-dependent, per DR1413. A const but not
constexpr variable of literal type (other than integer or enumeration)
is no longer considered value-dependent, per P1815R2.


Compare: https://github.com/llvm/llvm-project/compare/41c3b2713992...7e7f38f853fb