[all-commits] [llvm/llvm-project] c83d9b: [Concept] Fix incorrect check for containsUnexpand...

[Saar Raz via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: c83d9bedc0cc430dc620e7a807daeb985d390325
      https://github.com/llvm/llvm-project/commit/c83d9bedc0cc430dc620e7a807daeb985d390325
  Author: Saar Raz <saar at raz.email>
  Date:   2020-01-30 (Thu, 30 Jan 2020)

  Changed paths:
    M clang/include/clang/AST/ExprConcepts.h
    M clang/lib/AST/ASTContext.cpp
    M clang/lib/AST/ExprConcepts.cpp
    M clang/test/CXX/expr/expr.prim/expr.prim.id/p3.cpp

  Log Message:
  -----------
  [Concept] Fix incorrect check for containsUnexpandedParameterPack in CSE

We previously checked for containsUnexpandedParameterPack in CSEs by observing the property
in the converted arguments of the CSE. This may not work if the argument is an expanded
type-alias that contains a pack-expansion (see added test).

Check the as-written arguments when determining containsUnexpandedParameterPack and isInstantiationDependent.