dead statements

[fabry2811]

A tool, which detects dead statements, branches and paths in SPARK code....

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

thanks you all

 

[Paulfromitaly]

http://en.wikipedia.org/wiki/Statement_programming

Dead: non più validi.

 

[elemika]

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.

 

[fabry2811]

grazie ragazzi.