PR# 19436 Infinite loop in routine {UTF_CONVERTER}.is_valid_utf_16

Problem Report Summary
Submitter: finnianr
Category: EiffelBase
Priority: High
Date: 2018/04/07
Class: Bug
Severity: Critical
Number: 19436
Release: 16.05
Confidential: No
Status: Closed
Environment: linux
Synopsis: Infinite loop in routine {UTF_CONVERTER}.is_valid_utf_16

if argument `s' for `is_valid_utf_16' consists of a single code with value < 0xD800 then the for loop will never terminate.

I checked the lastest github version and it hasn't been fixed.
To Reproduce

Problem Report Interactions
From:alexk_es    Date:2018/04/11    Status: Closed    Download   

From:alexk_es    Date:2018/04/11    Status: Analyzed    Download   

From:finnianr    Date:2018/04/07    Status: Open    Download