test/monniaux/picosat-965/onefile/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
24
25

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