Skip to content

Commit

Permalink
Fix uninitialized variable warning (#2465)
Browse files Browse the repository at this point in the history
The interface/lattice{1,2,3} tests otherwise fail on MSVC in debug mode due
to "Run-Time Check Failure #3 - The variable 'changed' is being used without
being initialized."
  • Loading branch information
RolfRolles committed Dec 23, 2023
1 parent a779dbe commit 4b4a255
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/ast/transform/InsertLatticeOperations.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -187,7 +187,7 @@ RuleBody LatticeTransformer::translateNegatedAtom(ast::Atom& atom) {

bool LatticeTransformer::translateClause(
TranslationUnit& translationUnit, ErrorReport& report, ast::Clause* clause) {
bool changed;
bool changed = false;

// Set of atoms that are negated in the clause body and contain lattice arguments
std::set<const ast::Atom*> negatedLatticeAtoms;
Expand Down

0 comments on commit 4b4a255

Please sign in to comment.