|
| TIf (_,_,None) | TSwitch (_,_,None) | TFor _ | TWhile (_,_,NormalWhile) -> false (* we might not enter this code at all *)
|
|
| TIf (_,_,None) | TSwitch (_,_,None) | TFor _ | TWhile (_,_,NormalWhile) -> false (* we might not enter this code at all *)
|
|
| TTry (a, catches) -> List.for_all has_term_return (a :: List.map snd catches)
|
|
| TTry (a, catches) -> List.for_all has_term_return (a :: List.map snd catches)
|
|
| TIf (cond,a,Some b) -> has_term_return cond || (has_term_return a && has_term_return b)
|
|
| TIf (cond,a,Some b) -> has_term_return cond || (has_term_return a && has_term_return b)
|