[C--] qc-- fails to compile switch statement

Hi,

It seems qc-- cannot compile test-047.c-- in the test2 folder.

File "test-047.c--", line 9, character 9 - line 12, character 10 Error: 
case arm uses range of type bits8 but scrutinee has type bits32
File "test-047.c--", line 14, character 9 - line 17, character 10 Error: 
ranges in case arm have different types bits32 and bits8
File "test-047.c--", line 19, character 9 - line 22, character 10 Error: 
case arm has an empty range list


Is this a known issue or it has been fixed?


I have a switch statement which is compiled as the follow:

switch bits8[_mlcc_ea__tmp_ce_7]
         {
            case 119::bits8: {
                                goto main0000019;
                             }
            case 87::bits8: {
                               goto main0000020;
                            }
            case 116::bits8: {
                                goto main0000023;
                             }
            case 84::bits8: {
                               goto main0000024;
                            }
            case 100::bits8: {
                                goto main0000027;
                             }
            case : {
                      goto main0000030;
                   }
         }


The last case represents a default case in the original C code. But qc-- 
reports "Error: case arm has an empty range list"

Did I do something wrong? What's the correct way to represent C default 
case in C--?


Thanks,
Ning
_______________________________________________
Cminusminus mailing list
[email protected]
https://www.eecs.harvard.edu/mailman/listinfo/cminusminus