[gobo-eiffel-commits] SF.net Git: gobo-eiffel branch, master, updated. dd401bfd545ccd5be865da4447fe625c7392acb2

[Eric B. <er...@us...>]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gobo-eiffel".

The branch, master has been updated
       via  dd401bfd545ccd5be865da4447fe625c7392acb2 (commit)
      from  c9bb4167254b2cb709e598553a8774d5554e2e2e (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit dd401bfd545ccd5be865da4447fe625c7392acb2
Author: Eric Bezault <er...@go...>
Date:   Fri Apr 27 11:15:30 2012 -0700

    Starting with ISE 7.0.8.7345, void-safety errors in unreachable code are not reported.
    Currently gelint considers that code appearing after the following instructions is unreachable:
    
       check False then ... end

-----------------------------------------------------------------------

Summary of changes:
 .../eiffel/ast/constant/et_boolean_constant.e      |    4 +-
 library/tools/eiffel/ast/expression/et_current.e   |    4 +-
 .../tools/eiffel/ast/expression/et_expression.e    |    8 +++-
 .../ast/expression/et_parenthesized_expression.e   |   11 ++++-
 library/tools/eiffel/ast/expression/et_result.e    |    4 +-
 library/tools/eiffel/ast/expression/et_void.e      |    4 +-
 .../tools/eiffel/compilation/et_attachment_scope.e |   23 ++++++++++-
 .../tools/eiffel/compilation/et_feature_checker.e  |   45 ++++++++++++++++---
 8 files changed, 84 insertions(+), 19 deletions(-)


hooks/post-receive
-- 
gobo-eiffel