Skip to content

Commit d2ea098

Browse files
authored
Merge pull request #3813 from tautschnig/vs-shadow-again
Do not pass class member "file_name" as argument [blocks: #2310]
2 parents e5186ad + e6f6d2a commit d2ea098

File tree

1 file changed

+1
-4
lines changed

1 file changed

+1
-4
lines changed

src/goto-checker/symex_coverage.cpp

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -87,7 +87,6 @@ class goto_program_coverage_recordt : public coverage_recordt
8787

8888
void compute_coverage_lines(
8989
const goto_programt &goto_program,
90-
const irep_idt &file_name,
9190
const symex_coveraget::coveraget &coverage,
9291
coverage_lines_mapt &dest);
9392
};
@@ -145,8 +144,7 @@ goto_program_coverage_recordt::goto_program_coverage_recordt(
145144

146145
// compute the maximum coverage of individual source-code lines
147146
coverage_lines_mapt coverage_lines_map;
148-
compute_coverage_lines(
149-
gf_it->second.body, file_name, coverage, coverage_lines_map);
147+
compute_coverage_lines(gf_it->second.body, coverage, coverage_lines_map);
150148

151149
// <method name="foo" signature="int(int)" line-rate="1.0" branch-rate="1.0">
152150
// <lines>
@@ -205,7 +203,6 @@ goto_program_coverage_recordt::goto_program_coverage_recordt(
205203

206204
void goto_program_coverage_recordt::compute_coverage_lines(
207205
const goto_programt &goto_program,
208-
const irep_idt &file_name,
209206
const symex_coveraget::coveraget &coverage,
210207
coverage_lines_mapt &dest)
211208
{

0 commit comments

Comments
 (0)