// ĠFIR _ IDENT ICAL Ċ package Ġa Ċ Ċ // KT - 2 1 6 6 ĠControl Ġflow Ġanalysis Ġdoesn 't Ġdetect Ġthat Ġa Ġ' while ( true )' Ġloop Ġnever Ġtermin ates Ċ fun Ġfoo (): ĠInt Ġ{ ĊĠĠĠ Ġwhile Ġ( true ) Ġ{ ĊĠĠĠ Ġ} Ċ } Ċ Ċ // KT - 2 1 0 3 ĠCompiler Ġrequires Ġreturn Ġstatement Ġafter Ġloop Ġwhich Ġnever Ġexits Ċ fun Ġfoo 1 () Ġ: ĠBoolean { ĊĠĠĠ Ġwhile ( true ){ ĊĠĠĠĠĠĠĠ Ġif Ġ( bar ()) Ġcontinue ĊĠĠĠĠĠĠĠ Ġreturn Ġtrue ĊĠĠĠ Ġ} Ċ } Ċ Ċ fun Ġbar () Ġ: ĠBoolean Ġ= Ġtrue