projects
/
satcheck.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
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
}