Skip to content
Snippets Groups Projects
Commit 9797b5ce authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[tests] towards fixing pub/frama-clang#4

parent e49a1073
No related branches found
No related tags found
No related merge requests found
...@@ -11,8 +11,13 @@ typedef struct myStruct { ...@@ -11,8 +11,13 @@ typedef struct myStruct {
myStruct s = {}; myStruct s = {};
const int I = -1;
const long L = -1L;
const long long LL = -1LL;
int main() { int main() {
int x = 0; int x = -1;
long long ll = I + L + LL;
A y = { x, 1 }; A y = { x, 1 };
y.a++; y.a++;
return x; return x;
......
...@@ -46,9 +46,13 @@ struct _frama_c_rtti_name_info_node _frama_c_rtti_name_info = ...@@ -46,9 +46,13 @@ struct _frama_c_rtti_name_info_node _frama_c_rtti_name_info =
.number_of_base_classes = 0, .number_of_base_classes = 0,
.pvmt = (struct _frama_c_vmt *)0}; .pvmt = (struct _frama_c_vmt *)0};
myStruct s = {.a = {(char)0}}; myStruct s = {.a = {(char)0}};
static int const I = (int)4294967295;
static long const L = (long)4294967295;
static long long const LL = (long long)(-1);
int main(void) int main(void)
{ {
int x = 0; int x = -1;
long long ll = (long long)((long)I + L) + LL;
struct A y = {.a = & x, .b = 1}; struct A y = {.a = & x, .b = 1};
(*(y.a)) ++; (*(y.a)) ++;
return x; return x;
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment