[all-commits] [llvm/llvm-project] ff98d7: [clang] DeducedTypes deduction kind fix and improv...

[Matheus Izvekov via All-commits]

  Branch: refs/heads/users/mizvekov/GH167513
  Home:   https://github.com/llvm/llvm-project
  Commit: ff98d7949346b6944c2077ced982f0345de43901
      https://github.com/llvm/llvm-project/commit/ff98d7949346b6944c2077ced982f0345de43901
  Author: Matheus Izvekov <mizvekov at gmail.com>
  Date:   2026-03-16 (Mon, 16 Mar 2026)

  Changed paths:
    M clang/docs/ReleaseNotes.rst
    M clang/include/clang/AST/ASTContext.h
    M clang/include/clang/AST/PropertiesBase.td
    M clang/include/clang/AST/TextNodeDumper.h
    M clang/include/clang/AST/TypeBase.h
    M clang/include/clang/AST/TypeProperties.td
    M clang/lib/AST/ASTContext.cpp
    M clang/lib/AST/ASTImporter.cpp
    M clang/lib/AST/TextNodeDumper.cpp
    M clang/lib/AST/Type.cpp
    M clang/lib/Sema/SemaDecl.cpp
    M clang/lib/Sema/SemaTemplate.cpp
    M clang/lib/Sema/SemaTemplateDeduction.cpp
    M clang/lib/Sema/SemaTemplateDeductionGuide.cpp
    M clang/lib/Sema/SemaType.cpp
    M clang/lib/Sema/TreeTransform.h
    M clang/test/AST/ast-dump-concepts.cpp
    M clang/test/SemaTemplate/ctad.cpp
    M clang/unittests/AST/ProfilingTest.cpp
    M lldb/unittests/Symbol/TestTypeSystemClang.cpp

  Log Message:
  -----------
  [clang] DeducedTypes deduction kind fix and improvement

This is a small refactor of how DeducedType and it's derived types are
represented.

The different deduction kinds are spelled out in an enum, and how this
is tracked is simplified, to allow easier profiling.

How these types are constructed and canonicalized is also brought more
in line with how it works for the other types.

This fixes a crash reported here: https://github.com/llvm/llvm-project/issues/167513#issuecomment-3692962115



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