PR# 18946 gcc compiler warning being produced for inspect branch

Problem Report Summary
Submitter: finnianr
Category: Compiler
Priority: Medium
Date: 2014/08/28
Class: Bug
Severity: Non-critical
Number: 18946
Release: 7.2.9.1351
Confidential: No
Status: Open
Responsible:
Environment: ubuntu 14.04.1; gcc 4.8.2
Synopsis: gcc compiler warning being produced for inspect branch

Description
Recently I upgraded my OS to ubuntu 14.04.1 which uses gcc version 4.8.2

On recompiling one of my projects I am getting numerous C warnings that I didn't see before. All of them are related to an inspect statement. For example

In file included from big_file_C7_c.c:56:0:
el1403.c: In function 'F1403_12247':
el1403.c:685:3: warning: case label value exceeds maximum value for type [enabled by default]
   case (EIF_CHARACTER_32) 402U:

This is the corresponding Eiffel routine from class EL_WINDOWS_1258_CODEC

   unicode_case_change_substitute (c: CHARACTER): CHARACTER_32
         -- 
      do
         inspect c
            when 'ƒ' then
               Result := 'ƒ'
            when 'µ' then
               Result := '?'
         else end
      end

I am not sure whether this is a bug or a potential bug. Your comments please. Is it fixed in the lastest ES version?

To Reproduce

										
Problem Report Interactions
From:finnianr    Date:2014/08/28    Download   
C code attached

Attachment: el1403.c     Size:71640