Skip to content

Commit c3b87a2

Browse files
committed
Do not shadow local variable l
l is the top-level source location, use op_l for the source location of the operand.
1 parent 386ea88 commit c3b87a2

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

src/util/expr.cpp

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -283,9 +283,9 @@ const source_locationt &exprt::find_source_location() const
283283

284284
forall_operands(it, (*this))
285285
{
286-
const source_locationt &l=it->find_source_location();
287-
if(l.is_not_nil())
288-
return l;
286+
const source_locationt &op_l = it->find_source_location();
287+
if(op_l.is_not_nil())
288+
return op_l;
289289
}
290290

291291
return static_cast<const source_locationt &>(get_nil_irep());

0 commit comments

Comments
 (0)