dead statements

fabry2811

Senior Member
Italy - Italian
A tool, which detects dead statements, branches and paths in SPARK code....

What does dead means in this context!!!???

thanks you all
 
  • elemika

    Senior Member
    Russian
    Ciao,
    in attesa di madrelingua ho trovato questo:
    In a concurrent environment, due to schedule, race conditions and synchronisation among concurrent units, some program statements may never be executed. Such statements are dead statements and have no influence on the programs except making them more difficult to analyse and understand.
     
    Top