test/monniaux/reduced_picosat/reduced_picosat.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

typedef struct b b;
b *a;
struct b {
  int c;
  int d, **clshead;
  int **ahead;
  unsigned h;
} glob;
int k();
int main() {
  a = &glob;
  k(a);
}
#define e(f) f - g->c
static void m(b *g, int *l) {
  if (g)
    *g->ahead = l;
}
int k(b *g) {
  if (g->d)
    m(g, e(g->clshead[-1]));
  return g->h;
}