PR# 18153 ensure clause of STRING_32.left_adjust is apparently incorrect

Problem Report Summary

Submitter: dailyrecap

Category: EiffelBase

Priority: Low

Date: 2012/03/31

Class: Bug

Severity: Non-critical

Number: 18153

Release: 7.0.8.8074 GPL

Confidential: No

Status: Closed

Responsible: alexk_es

Environment: Mozilla/5.0 (Windows NT 6.1) AppleWebKit/535.11 (KHTML, like Gecko) Chrome/17.0.963.78 Safari/535.11

Synopsis: ensure clause of STRING_32.left_adjust is apparently incorrect

Description

ensure clause is violated after left_adjust when the string is all blank except for a 0x0a (%N).

With ensure checking off, no bad behavior is noticed.

To me, %N is not white space, and it should be retained. (And it is.)

To Reproduce

Turn on ensure checking for base library.
execute left_adjust on a blank line containing a %N.
ensure will fail.

Problem Report Interactions

From:alexk_es Date:2012/04/06 Status: Closed Download

Fixed in freeelks#552 that will be included in EiffelStudio 7.1 release.

From:manus_eiffel Date:2012/03/31 Status: Analyzed Download

Thanks you for bringing this to our attention.

There is indeed an issue however there is a bug in the implementation and the fix is not going to be what you expected. The STRING_32 implementation should preserve the old semantics of STRING_8 and in it %N is a white space and thus will be removed.

We will fix this issue for the next revision of EiffelStudio.