harmony-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Pavel Pervov" <pmcfi...@gmail.com>
Subject Re: verification of unreachable code
Date Sun, 01 Apr 2007 20:38:45 GMT
I don't think I'm not the Pavel you've been addressing to, but let me ask a
question.

Does 'unreachable code' == 'dead code'? If yes, this code should be
eliminted and should not affect later stages of verification.

WBR,
-- 
Pavel Pervov,
Intel Enterprise Solutions Software Division

Mime
  • Unnamed multipart/alternative (inline, None, 0 bytes)
View raw message