[PATCH] D49647: [libcxx] Library support for contracts (C++2a)

Hamza Sood via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Mon Jul 23 12:24:51 PDT 2018


hamzasood updated this revision to Diff 156857.
hamzasood added a comment.

- Made the suggested test changes.

The compiler is meant to create these; Clang doesn't do this yet but I'm working on the implementation.

I was under the impression that the compiler support would require the library stuff to land first, but I just checked Clang's coroutine tests and it looks like they include their own coroutine header so it doesn't depend on the library. I suppose the same thing can happen here, in which case I agree it's probably best to put this on hold in the meantime.


https://reviews.llvm.org/D49647

Files:
  include/contract
  include/module.modulemap
  test/libcxx/double_include.sh.cpp
  test/libcxx/language.support/support.contract/version.pass.cpp
  test/std/language.support/support.contract/contract_violation.pass.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D49647.156857.patch
Type: text/x-patch
Size: 5825 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20180723/934f4fe6/attachment-0001.bin>


More information about the cfe-commits mailing list