9b91ed01cc5a030896266d9248902d83a47a11d6
[satcheck.git] / test / load_in_if_cond.c
1 #include <stdlib.h>
2 #include <stdio.h>
3 #include <stdbool.h>
4 #include "libinterface.h"
5
6 struct node {
7         struct node * next;
8 };
9
10
11 void foo()
12 {
13         int i;
14         int x = 0;
15
16         struct node * n = malloc(sizeof(struct node));
17         n->next = 0;
18
19         i = load_32(&x);
20
21         if ((i = load_32(&x))) {
22                 printf("%d\n", i);
23         }
24
25         while (load_32(&n->next)) {
26                 ;
27         }
28 }