Skip to content

Commit 86ad618

Browse files
committed
Avoid spurious warning about hiding base class functions
cmdlinet::parse has a different signature and we don't override it here. As an alternative option, we could rename functions.
1 parent 825e0e6 commit 86ad618

File tree

2 files changed

+2
-0
lines changed

2 files changed

+2
-0
lines changed

src/goto-cc/ms_cl_cmdline.h

+1
Original file line numberDiff line numberDiff line change
@@ -33,6 +33,7 @@ class ms_cl_cmdlinet:public goto_cc_cmdlinet
3333
void process_cl_option(const std::string &s);
3434
void process_response_file(const std::string &file);
3535
void process_response_file_line(const std::string &line);
36+
using cmdlinet::parse;
3637
bool parse(const std::vector<std::string> &);
3738
};
3839

src/goto-cc/ms_link_cmdline.h

+1
Original file line numberDiff line numberDiff line change
@@ -31,6 +31,7 @@ class ms_link_cmdlinet : public goto_cc_cmdlinet
3131
void process_link_option(const std::string &s);
3232
void process_response_file(const std::string &file);
3333
void process_response_file_line(const std::string &line);
34+
using cmdlinet::parse;
3435
bool parse(const std::vector<std::string> &);
3536
};
3637

0 commit comments

Comments
 (0)