Skip to content

Commit 4e482e9

Browse files
pdschubertpdschubert
committed
remove unnecessary nolints
1 parent 8b9db39 commit 4e482e9

3 files changed

Lines changed: 5 additions & 9 deletions

File tree

‎external/googletest‎

Submodule googletest updated 115 files

‎external/json-schema-validator‎

Submodule json-schema-validator updated 63 files

‎include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Solver/IDESolver.h‎

Lines changed: 3 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -614,14 +614,12 @@ class IDESolver
614614
<< f4->str();
615615
BOOST_LOG_SEV(lg::get(), DEBUG)
616616
<< " (return * calleeSummary * call)");
617-
EdgeFunctionPtrType
618-
fPrime = // NOLINT - keep close to algorithm notion
617+
EdgeFunctionPtrType fPrime =
619618
f4->composeWith(fCalleeSummary)->composeWith(f5);
620619
LOG_IF_ENABLE(BOOST_LOG_SEV(lg::get(), DEBUG)
621620
<< " = " << fPrime->str();
622621
BOOST_LOG_SEV(lg::get(), DEBUG) << ' ');
623-
d_t d5_restoredCtx // NOLINT - keep close to algorithm notion
624-
= restoreContextOnReturnedFact(n, d2, d5);
622+
d_t d5_restoredCtx = restoreContextOnReturnedFact(n, d2, d5);
625623
// propagte the effects of the entire call
626624
LOG_IF_ENABLE(BOOST_LOG_SEV(lg::get(), DEBUG)
627625
<< "Compose: " << fPrime->str() << " * "
@@ -1092,9 +1090,7 @@ class IDESolver
10921090
<< " * " << f4->str();
10931091
BOOST_LOG_SEV(lg::get(), DEBUG)
10941092
<< " (return * function * call)");
1095-
EdgeFunctionPtrType
1096-
fPrime // NOLINT - keep close to algorithm notion
1097-
= f4->composeWith(f)->composeWith(f5);
1093+
EdgeFunctionPtrType fPrime = f4->composeWith(f)->composeWith(f5);
10981094
LOG_IF_ENABLE(BOOST_LOG_SEV(lg::get(), DEBUG)
10991095
<< " = " << fPrime->str();
11001096
BOOST_LOG_SEV(lg::get(), DEBUG) << ' ');

0 commit comments

Comments
 (0)