[all-commits] [llvm/llvm-project] bb4251: [Clang][Sema] Use StructuralValues to model depend...

[Younan Zhang via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: bb42511f64fd44f2ff1beb0dd38a653a8f2c20df
      https://github.com/llvm/llvm-project/commit/bb42511f64fd44f2ff1beb0dd38a653a8f2c20df
  Author: Younan Zhang <zyn7109 at gmail.com>
  Date:   2024-05-29 (Wed, 29 May 2024)

  Changed paths:
    M clang/docs/ReleaseNotes.rst
    M clang/lib/AST/TemplateBase.cpp
    M clang/test/SemaTemplate/temp_arg_nontype_cxx2c.cpp

  Log Message:
  -----------
  [Clang][Sema] Use StructuralValues to model dependent NTTP arguments (#93556)

This patch takes Richard's approach of no longer modeling dependent NTTP
arguments with TemplateParamObjectDecls. Clang used to do so, which left
behind a problem in that we might mess up dependent and non-dependent
arguments that boil down to the same canonical type because there's a
default argument on the NTTP.

The problem of "canonical expression" is still present because this
patch doesn't touch the profiling part. Namely, #92292 seems different.

Fixes https://github.com/llvm/llvm-project/issues/84052



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications