diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-07-05 10:20:42 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-07-31 22:21:59 +0200 |
| commit | e2635465a2297b60e2d929adcefc3222ab041bd0 (patch) | |
| tree | 8e95d4268afde220230f71396acd34ac60e377b7 /validation | |
| parent | 8daa5eacec82264bd34232aefe12b5ff885d0b8a (diff) | |
| download | sparse-dev-e2635465a2297b60e2d929adcefc3222ab041bd0.tar.gz | |
fix crash in rewrite_branch()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/crash-rewrite-branch.c | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/validation/crash-rewrite-branch.c b/validation/crash-rewrite-branch.c new file mode 100644 index 00000000..eb310df1 --- /dev/null +++ b/validation/crash-rewrite-branch.c @@ -0,0 +1,24 @@ +void a(int c, int e) +{ + for(; b; c ; + + if (()) { + unsigned short d = e; + if (()) + while () + ; + &d; + } + + if (()) { + int f = &f; + } +} + +/* + * check-name: crash rewrite_branch + * check-command: test-linearize $file + * + * check-error-ignore + * check-output-ignore + */ |