[Concepts] Implement a portion of Concepts TS[dcl.spec.concept]p5 and p6:
Diagnose if the return type of a function concept or declaration type of a variable concept is not bool. Reviewers: hubert.reinterpretcast Differential Revision: http://reviews.llvm.org/D16163 git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@259159 91177308-0d34-0410-b5e6-96231b3b80d8
Showing
- include/clang/Basic/DiagnosticSemaKinds.td 4 additions, 0 deletionsinclude/clang/Basic/DiagnosticSemaKinds.td
- lib/Sema/SemaDecl.cpp 17 additions, 0 deletionslib/Sema/SemaDecl.cpp
- test/CXX/concepts-ts/dcl.dcl/dcl.spec/dcl.spec.concept/p5.cpp 12 additions, 0 deletions.../CXX/concepts-ts/dcl.dcl/dcl.spec/dcl.spec.concept/p5.cpp
- test/CXX/concepts-ts/dcl.dcl/dcl.spec/dcl.spec.concept/p6.cpp 25 additions, 0 deletions.../CXX/concepts-ts/dcl.dcl/dcl.spec/dcl.spec.concept/p6.cpp
Loading
Please register or sign in to comment