diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-26 12:25:32 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-26 12:25:32 +0200 |
| commit | aa9060d7309d33a88b95f99e33ff34187b42e832 (patch) | |
| tree | e830996a7d03dfdf4802ad11c242746dc072d11d /test/monniaux | |
| parent | a643dc0d12d77eadc60d30dc822cec20d13bb1dc (diff) | |
| download | compcert-kvx-aa9060d7309d33a88b95f99e33ff34187b42e832.tar.gz compcert-kvx-aa9060d7309d33a88b95f99e33ff34187b42e832.zip | |
simplified
Diffstat (limited to 'test/monniaux')
| -rw-r--r-- | test/monniaux/reduced_picosat/reduced_picosat.c | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/test/monniaux/reduced_picosat/reduced_picosat.c b/test/monniaux/reduced_picosat/reduced_picosat.c index e1c18438..eb9fdaf8 100644 --- a/test/monniaux/reduced_picosat/reduced_picosat.c +++ b/test/monniaux/reduced_picosat/reduced_picosat.c @@ -5,11 +5,10 @@ struct b { int d, **clshead; int **ahead; unsigned h; -} i; -b *j(); +} glob; int k(); int main() { - a = j(); + a = &glob; k(a); } #define e(f) f - g->c @@ -17,7 +16,6 @@ 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])); |