Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Added handling for noreturn std functions. | Bernhard Schommer | 2017-02-16 | 1 | -3/+8 |
* | Reverted changes in Cutil and catch in Cflow. | Bernhard Schommer | 2017-02-16 | 1 | -0/+1 |
* | Cflow: analysis of "switch" was too imprecise | Xavier Leroy | 2017-02-07 | 1 | -2/+3 |
* | Revised, more precise implementation of control-flow analysis | Xavier Leroy | 2017-02-07 | 1 | -48/+98 |
* | Control-flow analysis: wrong flow for "case"/"default" statements | Xavier Leroy | 2017-02-07 | 1 | -4/+6 |
* | More precise warnings about function returns | Xavier Leroy | 2017-02-07 | 1 | -0/+195 |