HomePhabricator

[Concepts] Transform constraints of non-template functions to ConstantEvaluated

Authored by saar.raz on Jan 25 2020, 12:54 PM.

Description

[Concepts] Transform constraints of non-template functions to ConstantEvaluated

We would previously try to evaluate atomic constraints of non-template functions as-is,
and since they are now unevaluated at first, this would cause incorrect evaluation (bugs #44657, #44656).

Substitute into atomic constraints of non-template functions as we would atomic constraints
of template functions, in order to rebuild the expressions in a constant-evaluated context.

(cherry picked from commit 713562f54858f10bf8998ee21ff2c7e7bad0d177)

Details

Committed
saar.razJan 25 2020, 1:10 PM
Parents
rG0df13627c6a4: [CUDA] Fix order of memcpy arguments in __shfl_*(<64-bit type>).
Branches
Unknown
Tags
Unknown