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
|
