1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/jump.c b/gcc/jump.c
index 7361101..cdea8d5 100644
--- a/gcc/jump.c
+++ b/gcc/jump.c
@@ -163,7 +163,7 @@ public:
   {}
 
   /* opt_pass methods: */
-  unsigned int execute () { return cleanup_barriers (); }
+  virtual unsigned int execute (function *) { return cleanup_barriers (); }
 
 }; // class pass_cleanup_barriers