diff options
Diffstat (limited to 'elaborate.cxx')
| -rw-r--r-- | elaborate.cxx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/elaborate.cxx b/elaborate.cxx index 12dbce3a..f442aceb 100644 --- a/elaborate.cxx +++ b/elaborate.cxx @@ -2013,7 +2013,7 @@ void semantic_pass_opt1 (systemtap_session& s, bool& relaxed_p) if (ftv.traversed.find(fd) == ftv.traversed.end()) { if (fd->tok->location.file->name == s.user_file->name && // !tapset - ! s.suppress_warnings) + ! s.suppress_warnings && ! fd->synthetic) s.print_warning ("eliding unused function '" + fd->name + "'", fd->tok); else if (s.verbose>2) clog << "Eliding unused function " << fd->name |