diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-02-07 10:29:58 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-02-07 10:29:58 +0100 |
| commit | 178e71c74a034d7ea13645ab843f4dd0e23a3255 (patch) | |
| tree | 13d0dc4d81f7742043b086b751b96659e2d79ae4 /cparser/Cprint.mli | |
| parent | 5a7fc8637ae82d9aaf71c0053078a950ddee3b89 (diff) | |
| download | compcert-178e71c74a034d7ea13645ab843f4dd0e23a3255.tar.gz compcert-178e71c74a034d7ea13645ab843f4dd0e23a3255.zip | |
Control-flow analysis: wrong flow for "case"/"default" statements
Those labeled statements can be entered either by fall-through or by the enclosing switch.
Diffstat (limited to 'cparser/Cprint.mli')
0 files changed, 0 insertions, 0 deletions