Repository navigation

Simple control flow analysis - #1287

Closed

Vladimir Matveev (vladima) wants to merge 9 commits into

Commits on Nov 8, 2014
- initial rev of controlflow analysis
  Vladimir Matveev (vladima)
  committed
  3ec5eb1
Commits on Nov 26, 2014
- merge with master
  Vladimir Matveev (vladima)
  committed
  d0da055
Commits on Dec 1, 2014
- addressed CR feedback, exit early after reporting 'unreachable statement error'
  Vladimir Matveev (vladima)
  committed
  1d6bd0d
- merge with master
  Vladimir Matveev (vladima)
  committed
  80cc8bb
- removed commented code
  Vladimir Matveev (vladima)
  committed
  147959f
- fix post finally state
  Vladimir Matveev (vladima)
  committed
  20d0cd9
- move check of else statement into conditional
  Vladimir Matveev (vladima)
  committed
  363a517
Commits on Dec 2, 2014
- change category of cf related notification to 'warning'
  Vladimir Matveev (vladima)
  committed
  15e630c
- fix final state in if statement
  Vladimir Matveev (vladima)
  committed
  68b135a