Changeset 397c101a
- Timestamp:
- Nov 27, 2019, 4:43:51 PM (4 years ago)
- Branches:
- ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum
- Children:
- 524627e, 78cdb06, d4f1521
- Parents:
- 152c2b2
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ControlStruct/MLEMutator.cc
r152c2b2 r397c101a 231 231 232 232 Statement *MLEMutator::mutateLoop( Statement *bodyLoop, Entry &e ) { 233 // only generate these when needed 234 if( !e.isContUsed() && !e.isBreakUsed() ) return bodyLoop; 235 233 236 // ensure loop body is a block 234 CompoundStmt *newBody; 235 if ( ! (newBody = dynamic_cast<CompoundStmt *>( bodyLoop )) ) { 236 newBody = new CompoundStmt(); 237 newBody->get_kids().push_back( bodyLoop ); 238 } // if 239 240 // only generate these when needed 237 CompoundStmt * newBody = new CompoundStmt(); 238 newBody->get_kids().push_back( bodyLoop ); 241 239 242 240 if ( e.isContUsed() ) { -
tests/raii/dtor-early-exit.cfa
r152c2b2 r397c101a 217 217 } 218 218 219 void i() { 220 // potential loop 221 for() { 222 if(true) continue; 223 int t = 0; 224 } 225 } 226 219 227 // TODO: implement __label__ and uncomment these lines 220 228 void computedGoto() {
Note: See TracChangeset
for help on using the changeset viewer.