Changeset 4be0117
- Timestamp:
- Feb 21, 2025, 3:16:04 PM (5 weeks ago)
- Branches:
- master
- Children:
- 9506c70
- Parents:
- 8705a11
- Location:
- tests
- Files:
-
- 4 edited
Legend:
- Unmodified
- Added
- Removed
-
TabularUnified tests/Makefile.am ¶
r8705a11 r4be0117 76 76 # Tests that need investigation from the CFA team about why they require lax wflags. Goal is to eliminate this list. 77 77 WFLAGS_OPT_LAX_TO_INVESTIGATE = \ 78 exceptions/cardgame \79 exceptions/defaults \80 exceptions/defaults-threads \81 exceptions/try-leave-catch \82 78 forall \ 83 79 include/includes \ -
TabularUnified tests/exceptions/cardgame.cfa ¶
r8705a11 r4be0117 29 29 30 30 static unsigned int NumPlayersRemaining; // number of players currently in the game 31 static unsigned int rounds; // count rounds during Schmilblick32 31 33 32 static unsigned int MakePlay( Player & player, unsigned int RemainingCards ) with( player ) { … … 125 124 seed = convert( argv[4] ); if ( seed < 1 ) throw ExceptionInst( cmd_error ); // invalid ? 126 125 } // if 127 // FALL THROUGH126 fallthrough; 128 127 case 4: 129 128 if ( strcmp( argv[3], "d" ) != 0 ) { // default ? … … 131 130 cardsSet = true; 132 131 } // if 133 // FALL THROUGH132 fallthrough; 134 133 case 3: 135 134 if ( strcmp( argv[2], "d" ) != 0 ) { // default ? … … 137 136 playersSet = true; 138 137 } // if 139 // FALL THROUGH138 fallthrough; 140 139 case 2: 141 140 if ( strcmp( argv[1], "d" ) != 0 ) { // default ? 142 141 numGames = convert( argv[1] ); if ( numGames < 0 ) throw ExceptionInst( cmd_error ); // invalid ? 143 142 } // if 144 // FALL THROUGH143 fallthrough; 145 144 case 1: // defaults 146 145 break; -
TabularUnified tests/exceptions/defaults.cfa ¶
r8705a11 r4be0117 66 66 67 67 void unhandled_test(void) { 68 void defaultTerminationHandler(unhandled_exception &) { 69 abort(); 70 } 68 71 forall(T &, V & | is_exception(T, V)) 69 72 void defaultTerminationHandler(T &) { 70 73 throw (unhandled_exception){&unhandled_vt}; 71 }72 void defaultTerminationHandler(unhandled_exception &) {73 abort();74 74 } 75 75 try { -
TabularUnified tests/exceptions/try-leave-catch.cfa ¶
r8705a11 r4be0117 38 38 break; 39 39 } 40 fallthrough; 40 41 default: 41 42 printf("Reached default.\n");
Note: See TracChangeset
for help on using the changeset viewer.