]> granicus.if.org Git - clang/commit
[Concepts] Implement a portion of Concepts TS[dcl.spec.concept]p5 and p6:
authorNathan Wilson <nwilson20@gmail.com>
Fri, 29 Jan 2016 04:43:59 +0000 (04:43 +0000)
committerNathan Wilson <nwilson20@gmail.com>
Fri, 29 Jan 2016 04:43:59 +0000 (04:43 +0000)
commitcf8ba0fbdb0e9da1162b1aa2600439ba48e50534
tree485c89916ef8f5bc2c4facc643edcc0a6f584ac2
parentb27326b345f28f2f35baf484f7970cad4750070f
[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
include/clang/Basic/DiagnosticSemaKinds.td
lib/Sema/SemaDecl.cpp
test/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 [new file with mode: 0644]