@@ -508,50 +508,14 @@ static void debugPrint(const ProgramMemory& pm)
508508
509509void ProgramMemoryState::addState (const Token* tok, const ProgramMemory::Map& vars)
510510{
511- // std::cout << "**************************************************************\n";
512- // std::cout << "addState: " << tok->expressionString() << std::endl;
513- // std::cout << "Before:\n";
514- // debugPrint(state);
515- #if 1
516- // ProgramMemory local = state;
517- // addVars(local, vars);
518- // fillProgramMemoryFromConditions(local, tok, settings);
519- // ProgramMemory pm;
520- // fillProgramMemoryFromAssignments(pm, tok, settings, local, vars);
521- // local.replace(std::move(pm));
522- // addVars(local, vars);
523- // replace(std::move(local), tok);
524-
525511 ProgramMemory local = state;
526512 addVars (local, vars);
527513 fillProgramMemoryFromConditions (local, tok, settings);
528514 ProgramMemory pm;
529515 fillProgramMemoryFromAssignments (pm, tok, settings, local, vars);
530516 local.replace (std::move (pm));
531- // ProgramMemory local2 = local;
532- // fillProgramMemoryFromAssignments(local, tok, settings, local2, vars);
533517 addVars (local, vars);
534518 replace (std::move (local), tok);
535- #else
536- // ProgramMemory pm = state;
537- // addVars(pm, vars);
538- // for(int i =0;i<4;i++) {
539- // fillProgramMemoryFromConditions(pm, tok, settings);
540- // ProgramMemory local = pm;
541- // fillProgramMemoryFromAssignments(pm, tok, settings, local, vars);
542- // }
543- // replace(std::move(pm), tok);
544-
545- ProgramMemory pm = state;
546- addVars(pm, vars);
547- fillProgramMemoryFromConditions(pm, tok, settings);
548- ProgramMemory local = pm;
549- fillProgramMemoryFromAssignments(pm, tok, settings, local, vars);
550- addVars(pm, vars);
551- replace(std::move(pm), tok);
552- #endif
553- // std::cout << "After:\n";
554- // debugPrint(state);
555519}
556520
557521void ProgramMemoryState::assume (const Token* tok, bool b, bool isEmpty)
0 commit comments