Changeset aaf1f4d
- Timestamp:
- Jun 29, 2016, 5:18:22 PM (9 years ago)
- 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:
- 177a5ce
- Parents:
- a1d7679
- Location:
- src/tests
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
TabularUnified src/tests/.expect/labelledExit.txt ¶
ra1d7679 raaf1f4d 1 CFA Version 1.0.0 (debug)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 10154 /usr/bin/ld: /usr/lib/debug/usr/lib/x86_64-linux-gnu/crt1.o(.debug_info): relocation 1 has invalid symbol index 11155 /usr/bin/ld: /usr/lib/debug/usr/lib/x86_64-linux-gnu/crt1.o(.debug_info): relocation 2 has invalid symbol index 2156 /usr/bin/ld: /usr/lib/debug/usr/lib/x86_64-linux-gnu/crt1.o(.debug_info): relocation 3 has invalid symbol index 2157 /usr/bin/ld: /usr/lib/debug/usr/lib/x86_64-linux-gnu/crt1.o(.debug_info): relocation 4 has invalid symbol index 10158 /usr/bin/ld: /usr/lib/debug/usr/lib/x86_64-linux-gnu/crt1.o(.debug_info): relocation 5 has invalid symbol index 12159 /usr/bin/ld: /usr/lib/debug/usr/lib/x86_64-linux-gnu/crt1.o(.debug_info): relocation 6 has invalid symbol index 12160 /usr/bin/ld: /usr/lib/debug/usr/lib/x86_64-linux-gnu/crt1.o(.debug_info): relocation 7 has invalid symbol index 12161 /usr/bin/ld: /usr/lib/debug/usr/lib/x86_64-linux-gnu/crt1.o(.debug_info): relocation 8 has invalid symbol index 2162 /usr/bin/ld: /usr/lib/debug/usr/lib/x86_64-linux-gnu/crt1.o(.debug_info): relocation 9 has invalid symbol index 2163 /usr/bin/ld: /usr/lib/debug/usr/lib/x86_64-linux-gnu/crt1.o(.debug_info): relocation 10 has invalid symbol index 11164 /usr/bin/ld: /usr/lib/debug/usr/lib/x86_64-linux-gnu/crt1.o(.debug_info): relocation 11 has invalid symbol index 12165 /usr/bin/ld: /usr/lib/debug/usr/lib/x86_64-linux-gnu/crt1.o(.debug_info): relocation 12 has invalid symbol index 12166 /usr/bin/ld: /usr/lib/debug/usr/lib/x86_64-linux-gnu/crt1.o(.debug_info): relocation 13 has invalid symbol index 12167 /usr/bin/ld: /usr/lib/debug/usr/lib/x86_64-linux-gnu/crt1.o(.debug_info): relocation 14 has invalid symbol index 12168 /usr/bin/ld: /usr/lib/debug/usr/lib/x86_64-linux-gnu/crt1.o(.debug_info): relocation 15 has invalid symbol index 12169 /usr/bin/ld: /usr/lib/debug/usr/lib/x86_64-linux-gnu/crt1.o(.debug_info): relocation 16 has invalid symbol index 12170 /usr/bin/ld: /usr/lib/debug/usr/lib/x86_64-linux-gnu/crt1.o(.debug_info): relocation 17 has invalid symbol index 12171 /usr/bin/ld: /usr/lib/debug/usr/lib/x86_64-linux-gnu/crt1.o(.debug_info): relocation 18 has invalid symbol index 12172 /usr/bin/ld: /usr/lib/debug/usr/lib/x86_64-linux-gnu/crt1.o(.debug_info): relocation 19 has invalid symbol index 12173 /usr/bin/ld: /usr/lib/debug/usr/lib/x86_64-linux-gnu/crt1.o(.debug_info): relocation 20 has invalid symbol index 19174 /usr/lib/gcc/x86_64-linux-gnu/6/../../../x86_64-linux-gnu/crt1.o: In function `_start':175 (.text+0x20): undefined reference to `main'176 collect2: error: ld returned 1 exit status177 make: *** [labelledExit] Error 1 -
TabularUnified src/tests/labelledExit.c ¶
ra1d7679 raaf1f4d 139 139 } 140 140 141 int main(int argc, char const *argv[]) { 142 /* code */ 143 return 0; 144 } 145 141 146 // Local Variables: // 142 147 // tab-width: 4 //
Note: See TracChangeset
for help on using the changeset viewer.