Changeset c017d5b for src


Ignore:
Timestamp:
Jun 29, 2016, 2:27:37 PM (8 years ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, gc_noraii, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc
Children:
7305915
Parents:
66999e7
Message:

patch label test until references are implemented

Location:
src/tests
Files:
2 edited

Legend:

Unmodified
Added
Removed

  • src/tests/.expect/labelledExit.txt

    r66999e7 rc017d5b  
    11CFA Version 1.0.0 (debug)
    2 Error: 'break' outside a loop or switch
     2/tmp/ccYaN2OX.i: In function '__foo__Fi___1':
     3/tmp/ccYaN2OX.i:1124:23: warning: this 'for' clause does not guard... [-Wmisleading-indentation]
     4     __L20__loopBreak: for (;;) /* null statement */ ;
     5                       ^~~
     6/tmp/ccYaN2OX.i:1126:5: note: ...this statement, but the latter is misleadingly indented as if it is guarded by the 'for'
     7     {
     8     ^
     9/tmp/ccYaN2OX.i:1180:5: warning: label 'Q' defined but not used [-Wunused-label]
     10     Q: if ( ((int )((__i__i_2>5)!=0)) ) {
     11     ^
     12/tmp/ccYaN2OX.i:1158:5: warning: label 'Choose' defined but not used [-Wunused-label]
     13     Choose: switch ( __i__i_2 ) {
     14     ^~~~~~
     15/tmp/ccYaN2OX.i:1141:5: warning: label 'Switch' defined but not used [-Wunused-label]
     16     Switch: switch ( __i__i_2 ) {
     17     ^~~~~~
     18/tmp/ccYaN2OX.i:1137:160: warning: label 'L34' defined but not used [-Wunused-label]
     19     L0: L1: L2: L3: L4: L5: L6: L7: L8: L9: L10: L11: L12: L13: L14: L15: L16: L17: L18: L19: L20: L21: L22: L23: L24: L25: L26: L27: L28: L29: L31: L32: L33: L34: for (;;) {
     20                                                                                                                                                                ^~~
     21/tmp/ccYaN2OX.i:1137:155: warning: label 'L33' defined but not used [-Wunused-label]
     22     L0: L1: L2: L3: L4: L5: L6: L7: L8: L9: L10: L11: L12: L13: L14: L15: L16: L17: L18: L19: L20: L21: L22: L23: L24: L25: L26: L27: L28: L29: L31: L32: L33: L34: for (;;) {
     23                                                                                                                                                           ^~~
     24/tmp/ccYaN2OX.i:1137:150: warning: label 'L32' defined but not used [-Wunused-label]
     25     L0: L1: L2: L3: L4: L5: L6: L7: L8: L9: L10: L11: L12: L13: L14: L15: L16: L17: L18: L19: L20: L21: L22: L23: L24: L25: L26: L27: L28: L29: L31: L32: L33: L34: for (;;) {
     26                                                                                                                                                      ^~~
     27/tmp/ccYaN2OX.i:1137:145: warning: label 'L31' defined but not used [-Wunused-label]
     28     L0: L1: L2: L3: L4: L5: L6: L7: L8: L9: L10: L11: L12: L13: L14: L15: L16: L17: L18: L19: L20: L21: L22: L23: L24: L25: L26: L27: L28: L29: L31: L32: L33: L34: for (;;) {
     29                                                                                                                                                 ^~~
     30/tmp/ccYaN2OX.i:1137:140: warning: label 'L29' defined but not used [-Wunused-label]
     31     L0: L1: L2: L3: L4: L5: L6: L7: L8: L9: L10: L11: L12: L13: L14: L15: L16: L17: L18: L19: L20: L21: L22: L23: L24: L25: L26: L27: L28: L29: L31: L32: L33: L34: for (;;) {
     32                                                                                                                                            ^~~
     33/tmp/ccYaN2OX.i:1137:135: warning: label 'L28' defined but not used [-Wunused-label]
     34     L0: L1: L2: L3: L4: L5: L6: L7: L8: L9: L10: L11: L12: L13: L14: L15: L16: L17: L18: L19: L20: L21: L22: L23: L24: L25: L26: L27: L28: L29: L31: L32: L33: L34: for (;;) {
     35                                                                                                                                       ^~~
     36/tmp/ccYaN2OX.i:1137:130: warning: label 'L27' defined but not used [-Wunused-label]
     37     L0: L1: L2: L3: L4: L5: L6: L7: L8: L9: L10: L11: L12: L13: L14: L15: L16: L17: L18: L19: L20: L21: L22: L23: L24: L25: L26: L27: L28: L29: L31: L32: L33: L34: for (;;) {
     38                                                                                                                                  ^~~
     39/tmp/ccYaN2OX.i:1137:125: warning: label 'L26' defined but not used [-Wunused-label]
     40     L0: L1: L2: L3: L4: L5: L6: L7: L8: L9: L10: L11: L12: L13: L14: L15: L16: L17: L18: L19: L20: L21: L22: L23: L24: L25: L26: L27: L28: L29: L31: L32: L33: L34: for (;;) {
     41                                                                                                                             ^~~
     42/tmp/ccYaN2OX.i:1137:120: warning: label 'L25' defined but not used [-Wunused-label]
     43     L0: L1: L2: L3: L4: L5: L6: L7: L8: L9: L10: L11: L12: L13: L14: L15: L16: L17: L18: L19: L20: L21: L22: L23: L24: L25: L26: L27: L28: L29: L31: L32: L33: L34: for (;;) {
     44                                                                                                                        ^~~
     45/tmp/ccYaN2OX.i:1137:115: warning: label 'L24' defined but not used [-Wunused-label]
     46     L0: L1: L2: L3: L4: L5: L6: L7: L8: L9: L10: L11: L12: L13: L14: L15: L16: L17: L18: L19: L20: L21: L22: L23: L24: L25: L26: L27: L28: L29: L31: L32: L33: L34: for (;;) {
     47                                                                                                                   ^~~
     48/tmp/ccYaN2OX.i:1137:110: warning: label 'L23' defined but not used [-Wunused-label]
     49     L0: L1: L2: L3: L4: L5: L6: L7: L8: L9: L10: L11: L12: L13: L14: L15: L16: L17: L18: L19: L20: L21: L22: L23: L24: L25: L26: L27: L28: L29: L31: L32: L33: L34: for (;;) {
     50                                                                                                              ^~~
     51/tmp/ccYaN2OX.i:1137:105: warning: label 'L22' defined but not used [-Wunused-label]
     52     L0: L1: L2: L3: L4: L5: L6: L7: L8: L9: L10: L11: L12: L13: L14: L15: L16: L17: L18: L19: L20: L21: L22: L23: L24: L25: L26: L27: L28: L29: L31: L32: L33: L34: for (;;) {
     53                                                                                                         ^~~
     54/tmp/ccYaN2OX.i:1137:100: warning: label 'L21' defined but not used [-Wunused-label]
     55     L0: L1: L2: L3: L4: L5: L6: L7: L8: L9: L10: L11: L12: L13: L14: L15: L16: L17: L18: L19: L20: L21: L22: L23: L24: L25: L26: L27: L28: L29: L31: L32: L33: L34: for (;;) {
     56                                                                                                    ^~~
     57/tmp/ccYaN2OX.i:1137:95: warning: label 'L20' defined but not used [-Wunused-label]
     58     L0: L1: L2: L3: L4: L5: L6: L7: L8: L9: L10: L11: L12: L13: L14: L15: L16: L17: L18: L19: L20: L21: L22: L23: L24: L25: L26: L27: L28: L29: L31: L32: L33: L34: for (;;) {
     59                                                                                               ^~~
     60/tmp/ccYaN2OX.i:1137:90: warning: label 'L19' defined but not used [-Wunused-label]
     61     L0: L1: L2: L3: L4: L5: L6: L7: L8: L9: L10: L11: L12: L13: L14: L15: L16: L17: L18: L19: L20: L21: L22: L23: L24: L25: L26: L27: L28: L29: L31: L32: L33: L34: for (;;) {
     62                                                                                          ^~~
     63/tmp/ccYaN2OX.i:1137:85: warning: label 'L18' defined but not used [-Wunused-label]
     64     L0: L1: L2: L3: L4: L5: L6: L7: L8: L9: L10: L11: L12: L13: L14: L15: L16: L17: L18: L19: L20: L21: L22: L23: L24: L25: L26: L27: L28: L29: L31: L32: L33: L34: for (;;) {
     65                                                                                     ^~~
     66/tmp/ccYaN2OX.i:1137:80: warning: label 'L17' defined but not used [-Wunused-label]
     67     L0: L1: L2: L3: L4: L5: L6: L7: L8: L9: L10: L11: L12: L13: L14: L15: L16: L17: L18: L19: L20: L21: L22: L23: L24: L25: L26: L27: L28: L29: L31: L32: L33: L34: for (;;) {
     68                                                                                ^~~
     69/tmp/ccYaN2OX.i:1137:75: warning: label 'L16' defined but not used [-Wunused-label]
     70     L0: L1: L2: L3: L4: L5: L6: L7: L8: L9: L10: L11: L12: L13: L14: L15: L16: L17: L18: L19: L20: L21: L22: L23: L24: L25: L26: L27: L28: L29: L31: L32: L33: L34: for (;;) {
     71                                                                           ^~~
     72/tmp/ccYaN2OX.i:1137:70: warning: label 'L15' defined but not used [-Wunused-label]
     73     L0: L1: L2: L3: L4: L5: L6: L7: L8: L9: L10: L11: L12: L13: L14: L15: L16: L17: L18: L19: L20: L21: L22: L23: L24: L25: L26: L27: L28: L29: L31: L32: L33: L34: for (;;) {
     74                                                                      ^~~
     75/tmp/ccYaN2OX.i:1137:65: warning: label 'L14' defined but not used [-Wunused-label]
     76     L0: L1: L2: L3: L4: L5: L6: L7: L8: L9: L10: L11: L12: L13: L14: L15: L16: L17: L18: L19: L20: L21: L22: L23: L24: L25: L26: L27: L28: L29: L31: L32: L33: L34: for (;;) {
     77                                                                 ^~~
     78/tmp/ccYaN2OX.i:1137:60: warning: label 'L13' defined but not used [-Wunused-label]
     79     L0: L1: L2: L3: L4: L5: L6: L7: L8: L9: L10: L11: L12: L13: L14: L15: L16: L17: L18: L19: L20: L21: L22: L23: L24: L25: L26: L27: L28: L29: L31: L32: L33: L34: for (;;) {
     80                                                            ^~~
     81/tmp/ccYaN2OX.i:1137:55: warning: label 'L12' defined but not used [-Wunused-label]
     82     L0: L1: L2: L3: L4: L5: L6: L7: L8: L9: L10: L11: L12: L13: L14: L15: L16: L17: L18: L19: L20: L21: L22: L23: L24: L25: L26: L27: L28: L29: L31: L32: L33: L34: for (;;) {
     83                                                       ^~~
     84/tmp/ccYaN2OX.i:1137:50: warning: label 'L11' defined but not used [-Wunused-label]
     85     L0: L1: L2: L3: L4: L5: L6: L7: L8: L9: L10: L11: L12: L13: L14: L15: L16: L17: L18: L19: L20: L21: L22: L23: L24: L25: L26: L27: L28: L29: L31: L32: L33: L34: for (;;) {
     86                                                  ^~~
     87/tmp/ccYaN2OX.i:1137:45: warning: label 'L10' defined but not used [-Wunused-label]
     88     L0: L1: L2: L3: L4: L5: L6: L7: L8: L9: L10: L11: L12: L13: L14: L15: L16: L17: L18: L19: L20: L21: L22: L23: L24: L25: L26: L27: L28: L29: L31: L32: L33: L34: for (;;) {
     89                                             ^~~
     90/tmp/ccYaN2OX.i:1137:41: warning: label 'L9' defined but not used [-Wunused-label]
     91     L0: L1: L2: L3: L4: L5: L6: L7: L8: L9: L10: L11: L12: L13: L14: L15: L16: L17: L18: L19: L20: L21: L22: L23: L24: L25: L26: L27: L28: L29: L31: L32: L33: L34: for (;;) {
     92                                         ^~
     93/tmp/ccYaN2OX.i:1137:37: warning: label 'L8' defined but not used [-Wunused-label]
     94     L0: L1: L2: L3: L4: L5: L6: L7: L8: L9: L10: L11: L12: L13: L14: L15: L16: L17: L18: L19: L20: L21: L22: L23: L24: L25: L26: L27: L28: L29: L31: L32: L33: L34: for (;;) {
     95                                     ^~
     96/tmp/ccYaN2OX.i:1137:33: warning: label 'L7' defined but not used [-Wunused-label]
     97     L0: L1: L2: L3: L4: L5: L6: L7: L8: L9: L10: L11: L12: L13: L14: L15: L16: L17: L18: L19: L20: L21: L22: L23: L24: L25: L26: L27: L28: L29: L31: L32: L33: L34: for (;;) {
     98                                 ^~
     99/tmp/ccYaN2OX.i:1137:29: warning: label 'L6' defined but not used [-Wunused-label]
     100     L0: L1: L2: L3: L4: L5: L6: L7: L8: L9: L10: L11: L12: L13: L14: L15: L16: L17: L18: L19: L20: L21: L22: L23: L24: L25: L26: L27: L28: L29: L31: L32: L33: L34: for (;;) {
     101                             ^~
     102/tmp/ccYaN2OX.i:1137:25: warning: label 'L5' defined but not used [-Wunused-label]
     103     L0: L1: L2: L3: L4: L5: L6: L7: L8: L9: L10: L11: L12: L13: L14: L15: L16: L17: L18: L19: L20: L21: L22: L23: L24: L25: L26: L27: L28: L29: L31: L32: L33: L34: for (;;) {
     104                         ^~
     105/tmp/ccYaN2OX.i:1137:21: warning: label 'L4' defined but not used [-Wunused-label]
     106     L0: L1: L2: L3: L4: L5: L6: L7: L8: L9: L10: L11: L12: L13: L14: L15: L16: L17: L18: L19: L20: L21: L22: L23: L24: L25: L26: L27: L28: L29: L31: L32: L33: L34: for (;;) {
     107                     ^~
     108/tmp/ccYaN2OX.i:1137:17: warning: label 'L3' defined but not used [-Wunused-label]
     109     L0: L1: L2: L3: L4: L5: L6: L7: L8: L9: L10: L11: L12: L13: L14: L15: L16: L17: L18: L19: L20: L21: L22: L23: L24: L25: L26: L27: L28: L29: L31: L32: L33: L34: for (;;) {
     110                 ^~
     111/tmp/ccYaN2OX.i:1137:13: warning: label 'L2' defined but not used [-Wunused-label]
     112     L0: L1: L2: L3: L4: L5: L6: L7: L8: L9: L10: L11: L12: L13: L14: L15: L16: L17: L18: L19: L20: L21: L22: L23: L24: L25: L26: L27: L28: L29: L31: L32: L33: L34: for (;;) {
     113             ^~
     114/tmp/ccYaN2OX.i:1137:9: warning: label 'L1' defined but not used [-Wunused-label]
     115     L0: L1: L2: L3: L4: L5: L6: L7: L8: L9: L10: L11: L12: L13: L14: L15: L16: L17: L18: L19: L20: L21: L22: L23: L24: L25: L26: L27: L28: L29: L31: L32: L33: L34: for (;;) {
     116         ^~
     117/tmp/ccYaN2OX.i:1137:5: warning: label 'L0' defined but not used [-Wunused-label]
     118     L0: L1: L2: L3: L4: L5: L6: L7: L8: L9: L10: L11: L12: L13: L14: L15: L16: L17: L18: L19: L20: L21: L22: L23: L24: L25: L26: L27: L28: L29: L31: L32: L33: L34: for (;;) {
     119     ^~
     120/tmp/ccYaN2OX.i:1097:13: warning: label 'ZZ' defined but not used [-Wunused-label]
     121             ZZ: for (;;) {
     122             ^~
     123/tmp/ccYaN2OX.i:1096:9: warning: label 'YY' defined but not used [-Wunused-label]
     124         YY: for (;;) {
     125         ^~
     126/tmp/ccYaN2OX.i:1095:5: warning: label 'XX' defined but not used [-Wunused-label]
     127     XX: for (;;) {
     128     ^~
     129/tmp/ccYaN2OX.i:1084:8: warning: label 'Y' defined but not used [-Wunused-label]
     130     X: Y: for (;;) {
     131        ^
     132/tmp/ccYaN2OX.i:1084:5: warning: label 'X' defined but not used [-Wunused-label]
     133     X: Y: for (;;) {
     134     ^
     135/tmp/ccYaN2OX.i:1077:8: warning: label '__L9__blockBreak' defined but not used [-Wunused-label]
     136     D: __L9__blockBreak: for (;;) {
     137        ^~~~~~~~~~~~~~~~
     138/tmp/ccYaN2OX.i:1077:5: warning: label 'D' defined but not used [-Wunused-label]
     139     D: __L9__blockBreak: for (;;) {
     140     ^
     141/tmp/ccYaN2OX.i:1028:5: warning: label 'w2' defined but not used [-Wunused-label]
     142     w2: while (((int )((__x__i_2<10)!=0))) {
     143     ^~
     144/tmp/ccYaN2OX.i:1026:5: warning: label 'w1' defined but not used [-Wunused-label]
     145     w1: __L0__blockBreak: while (((int )((__y__i_2==10)!=0))) /* null statement */ ;
     146     ^~
     147/tmp/ccYaN2OX.i:1014:5: warning: label 'Block' defined but not used [-Wunused-label]
     148     Block: {
     149     ^~~~~
     150/tmp/ccYaN2OX.i:1016:13: warning: '__i__i_2' may be used uninitialized in this function [-Wmaybe-uninitialized]
     151             for (;((int )((__i__i_2<__y__i_2)!=0));) {
     152             ^~~
     153/usr/bin/ld: /usr/lib/debug/usr/lib/x86_64-linux-gnu/crt1.o(.debug_info): relocation 0 has invalid symbol index 10
     154/usr/bin/ld: /usr/lib/debug/usr/lib/x86_64-linux-gnu/crt1.o(.debug_info): relocation 1 has invalid symbol index 11
     155/usr/bin/ld: /usr/lib/debug/usr/lib/x86_64-linux-gnu/crt1.o(.debug_info): relocation 2 has invalid symbol index 2
     156/usr/bin/ld: /usr/lib/debug/usr/lib/x86_64-linux-gnu/crt1.o(.debug_info): relocation 3 has invalid symbol index 2
     157/usr/bin/ld: /usr/lib/debug/usr/lib/x86_64-linux-gnu/crt1.o(.debug_info): relocation 4 has invalid symbol index 10
     158/usr/bin/ld: /usr/lib/debug/usr/lib/x86_64-linux-gnu/crt1.o(.debug_info): relocation 5 has invalid symbol index 12
     159/usr/bin/ld: /usr/lib/debug/usr/lib/x86_64-linux-gnu/crt1.o(.debug_info): relocation 6 has invalid symbol index 12
     160/usr/bin/ld: /usr/lib/debug/usr/lib/x86_64-linux-gnu/crt1.o(.debug_info): relocation 7 has invalid symbol index 12
     161/usr/bin/ld: /usr/lib/debug/usr/lib/x86_64-linux-gnu/crt1.o(.debug_info): relocation 8 has invalid symbol index 2
     162/usr/bin/ld: /usr/lib/debug/usr/lib/x86_64-linux-gnu/crt1.o(.debug_info): relocation 9 has invalid symbol index 2
     163/usr/bin/ld: /usr/lib/debug/usr/lib/x86_64-linux-gnu/crt1.o(.debug_info): relocation 10 has invalid symbol index 11
     164/usr/bin/ld: /usr/lib/debug/usr/lib/x86_64-linux-gnu/crt1.o(.debug_info): relocation 11 has invalid symbol index 12
     165/usr/bin/ld: /usr/lib/debug/usr/lib/x86_64-linux-gnu/crt1.o(.debug_info): relocation 12 has invalid symbol index 12
     166/usr/bin/ld: /usr/lib/debug/usr/lib/x86_64-linux-gnu/crt1.o(.debug_info): relocation 13 has invalid symbol index 12
     167/usr/bin/ld: /usr/lib/debug/usr/lib/x86_64-linux-gnu/crt1.o(.debug_info): relocation 14 has invalid symbol index 12
     168/usr/bin/ld: /usr/lib/debug/usr/lib/x86_64-linux-gnu/crt1.o(.debug_info): relocation 15 has invalid symbol index 12
     169/usr/bin/ld: /usr/lib/debug/usr/lib/x86_64-linux-gnu/crt1.o(.debug_info): relocation 16 has invalid symbol index 12
     170/usr/bin/ld: /usr/lib/debug/usr/lib/x86_64-linux-gnu/crt1.o(.debug_info): relocation 17 has invalid symbol index 12
     171/usr/bin/ld: /usr/lib/debug/usr/lib/x86_64-linux-gnu/crt1.o(.debug_info): relocation 18 has invalid symbol index 12
     172/usr/bin/ld: /usr/lib/debug/usr/lib/x86_64-linux-gnu/crt1.o(.debug_info): relocation 19 has invalid symbol index 12
     173/usr/bin/ld: /usr/lib/debug/usr/lib/x86_64-linux-gnu/crt1.o(.debug_info): relocation 20 has invalid symbol index 19
     174/usr/lib/gcc/x86_64-linux-gnu/6/../../../x86_64-linux-gnu/crt1.o: In function `_start':
     175(.text+0x20): undefined reference to `main'
     176collect2: error: ld returned 1 exit status
    3177make: *** [labelledExit] Error 1

  • src/tests/labelledExit.c

    r66999e7 rc017d5b  
    122122
    123123        // computed goto
    124         {
    125                 void *array[] = { &&foo, &&bar, &&hack };
    126           foo: bar: hack:
    127                 &&foo;
    128                 &&bar;
    129                 goto *array[i];
    130         }
     124        // {
     125        //      void *array[] = { &&foo, &&bar, &&hack };
     126        //   foo: bar: hack:
     127        //      &&foo;
     128        //      &&bar;
     129        //      goto *array[i];
     130        // }
    131131
    132132#if 1
    133133  Q: if ( i > 5 ) {
    134134                i += 1;
    135                 break Q;
     135//              break Q;
    136136        } else
    137137                i += 1;
Note: See TracChangeset for help on using the changeset viewer.