1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
/*******************************************************************\
Module: Unit tests of expr_dynamic_cast
Author: Nathan Phillips <Nathan.Phillips@diffblue.com>
\*******************************************************************/
/// \file
/// expr_dynamic_cast for types that don't have a cast
// This could have a unit test that consisted of trying to compile the file
// and checking that the compiler gave the right error messages.
#include <testing-utils/use_catch.h>
#include <util/std_code.h>
SCENARIO("expr_dynamic_cast",
"[core][utils][expr_cast][expr_dynamic_cast]")
{
symbol_exprt symbol_expr;
GIVEN("A const exprt reference to a symbolt")
{
const exprt &expr=symbol_expr;
THEN(
"Casting from exprt reference to non-reference should not compile")
{
// This shouldn't compile
expr_dynamic_cast<symbol_exprt>(expr);
}
THEN(
"Casting from const exprt reference to non-const symbol_exprt reference "
"should not compile")
{
expr_dynamic_cast<symbol_exprt &>(expr);
}
}
}
|
