search

cplusplus / ssrg

Safety and Security Review Group
3 stars 0 forks source link

P1494: Partial program correctness #1

Open sempuki opened 3 years ago

sempuki commented 3 years ago

I would like to track this paper. It solves some recurring issues contract checking statements with UB, and could well be useful as a general purpose experts tool to constrain the effects of UB, like std::atomic_thread_fence.

HowardHinnant commented 3 years ago

Convenience link: https://wg21.link/p1494