diff options
| author | Christopher Li <sparse@chrisli.org> | 2017-08-02 15:01:38 -0400 |
|---|---|---|
| committer | Christopher Li <sparse@chrisli.org> | 2017-08-09 21:56:31 -0400 |
| commit | 36b6ed7efeab5eaefc37db292391da23d9c5014e (patch) | |
| tree | fba561d2d7ba10de06a5b476cb0b3421f135eb69 /Makefile | |
| parent | 0ea41217628397ca45a7ff868f79c08d94bdea7e (diff) | |
| download | sparse-dev-36b6ed7efeab5eaefc37db292391da23d9c5014e.tar.gz | |
Add test case for the wine dead loop bug
Michael Stefaniuc report that sparse deadloop on one of the
wine source file. The minimal test case to reproduced the
deadloop has been add to validation as "kill-unreachable-phi.c".
Reported-by: Michael Stefaniuc <mstefani@mykolab.com>
Signed-off-by: Christopher Li <sparse@chrisli.org>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions