Method addState

lib/programmemory.cpp:538–548

}

void ProgramMemoryState::addState(const Token* tok, const ProgramMemory::Map& vars)
{
    ProgramMemory local = state;
    addVars(local, vars);
    fillProgramMemoryFromConditions(local, tok, settings);
    ProgramMemory pm;
    fillProgramMemoryFromAssignments(pm, tok, settings, local, vars);
    local.replace(std::move(pm));
    addVars(local, vars);
    replace(std::move(local), tok);
}

void ProgramMemoryState::assume(const Token* tok, bool b, bool isEmpty)
{