// Ġ! DIAG NO ST ICS : Ġ- UNUSED _ VARIABLE Ġ- UNUSED _ PARAMETER Ċ // ĠSKIP _ TXT Ċ Ċ class ĠC () Ġ{ ĊĠĠĠ Ġin fix Ġoperator Ġfun Ġinvoke ( i : ĠInt ) Ġ{ Ġ} Ġ// ( 1 ) Ċ } Ċ Ċ class ĠB ( val Ġmember Val C Null : ĠC ? Ġ= Ġnull ) Ġ{ ĊĠĠĠ Ġin fix Ġfun Ġbar ( i : ĠInt ) Ġ{} Ċ } Ċ Ċ // ĠTEST CASE ĠNUMBER : Ġ 1 Ċ fun Ġcase 1 () Ġ{ ĊĠĠĠ Ġval Ġb : ĠB Ġ= ĠB () Ċ // ĠĠĠ Ġb Ġmember Val C Null Ġ 1 ĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ// nok Ġ Ġ( UN SAFE _ IN FIX _ CALL ) Ċ // ĠĠĠ Ġb . member Val C Null . invoke ( 1 ) ĠĠĠĠĠĠĠĠ Ġ// nok Ġ( UN SAFE _ CALL ) ĊĊĠĠĠ Ġif Ġ( b . member Val C Null Ġ!= Ġnull ) Ġ{ ĊĠĠĠĠĠĠĠ Ġb Ġmember Val C Null Ġ 1 ĠĠĠĠĠĠĠĠĠĠĠ Ġ// nok Ġ Ġ( UN SAFE _ IN FIX _ CALL ) Ġ! !!! ĊĠĠĠĠĠĠĠ Ġb . member Val C Null . invoke ( 2 ) ĠĠĠ Ġ// ok ĊĠĠĠĠĠĠĠ Ġb . member Val C Null ( 3 ) ĠĠĠĠĠĠĠĠĠĠ Ġ// nok Ġ( UN SAFE _ CALL ) Ġ Ġ!!! ĊĠĠĠ Ġ} Ċ } Ċ