[all-commits] [llvm/llvm-project] c94209: [OpenMP][FIX] Verify compatible types for declare ...

[Johannes Doerfert via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: c942095790decf525a445f3bd68fb9bcc9aa43c6
      https://github.com/llvm/llvm-project/commit/c942095790decf525a445f3bd68fb9bcc9aa43c6
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2020-09-28 (Mon, 28 Sep 2020)

  Changed paths:
    M clang/lib/Sema/SemaOpenMP.cpp
    M clang/lib/Sema/SemaTemplateInstantiateDecl.cpp
    A clang/test/AST/ast-dump-openmp-begin-declare-variant_template_3.cpp

  Log Message:
  -----------
  [OpenMP][FIX] Verify compatible types for declare variant calls

Especially for templates we need to check at some point if the base
function matches the specialization we might call instead. Before this
lead to the replacement of `std::sqrt(int(2))` calls with one that
converts the argument to a `std::complex<int>`, clearly not the desired
behavior.

Reported as PR47655

Reviewed By: JonChesterfield

Differential Revision: https://reviews.llvm.org/D88384