constexpr is C++11
git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@4969 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
This commit is contained in:
parent
7b67af23b9
commit
6eaecc3377
|
@ -9,7 +9,8 @@ constexpr int some_function(int a)
|
|||
return a+1;
|
||||
}
|
||||
|
||||
constexpr int some_other_value = some_function(1);
|
||||
constexpr int some_other_value =
|
||||
some_function(1);
|
||||
|
||||
static_assert(some_other_value == 2, "some_other_value == 2");
|
||||
|
||||
|
|
|
@ -1,6 +1,6 @@
|
|||
KNOWNBUG
|
||||
main.cpp
|
||||
|
||||
-std=c++11
|
||||
^EXIT=0$
|
||||
^SIGNAL=0$
|
||||
--
|
||||
|
|
Loading…
Reference in New Issue