aboutsummaryrefslogtreecommitdiffstats
path: root/cparser/Cflow.ml
Commit message (Expand)AuthorAgeFilesLines
* Support __builtin_unreachableXavier Leroy2021-05-021-1/+5
* Typo in commentXavier Leroy2018-09-031-1/+1
* Control-flow analysis: bug in switch without defaultXavier Leroy2017-02-171-1/+30
* Added _exit.Bernhard Schommer2017-02-171-1/+1
* Add longjmp. Bug 21009Bernhard Schommer2017-02-171-1/+1
* Added handling for noreturn std functions.Bernhard Schommer2017-02-161-3/+8
* Reverted changes in Cutil and catch in Cflow.Bernhard Schommer2017-02-161-0/+1
* Cflow: analysis of "switch" was too impreciseXavier Leroy2017-02-071-2/+3
* Revised, more precise implementation of control-flow analysisXavier Leroy2017-02-071-48/+98
* Control-flow analysis: wrong flow for "case"/"default" statementsXavier Leroy2017-02-071-4/+6
* More precise warnings about function returnsXavier Leroy2017-02-071-0/+195