HomePhabricator

[c++20] Compute exception specifications for defaulted comparisons.

Authored by rsmith on Dec 13 2019, 2:11 PM.

Description

[c++20] Compute exception specifications for defaulted comparisons.

This requires us to essentially fully form the body of the defaulted
comparison, but from an unevaluated context. Naively this would require
generating the function definition twice; instead, we ensure that the
function body is implicitly defined before performing the check, and
walk the actual body where possible.

Details

Committed
rsmithDec 15 2019, 10:02 PM
Parents
rGfbf60b7dbeb0: Properly compute whether statement expressions can throw, rather than…
Branches
Unknown
Tags
Unknown