fix arm scheduler

[libfirm] / ir / be / be_t.h

diff --git a/ir/be/be_t.h b/ir/be/be_t.h
index b7af46b..7d39692 100644 (file)
--- a/ir/be/be_t.h
+++ b/ir/be/be_t.h
@@ -103,12 +103,14 @@ extern int be_timing;
 #define BE_TIMER_PUSH(timer)                                              \
     if (be_timing) {                                                      \
         int res = lc_timer_push(timer);                                   \
+        (void) res;                                                       \
                assert(res && "Timer already on stack, cannot be pushed twice."); \
     }
 
 #define BE_TIMER_POP(timer)                                               \
     if (be_timing) {                                                      \
         lc_timer_t *tmp = lc_timer_pop();                                 \
+        (void) tmp;                                                       \
         assert(tmp == timer && "Attempt to pop wrong timer.");            \
     }
 
@@ -119,6 +121,7 @@ extern lc_timer_t *t_constr;
 extern lc_timer_t *t_finish;
 extern lc_timer_t *t_emit;
 extern lc_timer_t *t_other;
+extern lc_timer_t *t_execfreq;
 extern lc_timer_t *t_verify;
 extern lc_timer_t *t_heights;
 extern lc_timer_t *t_live;         /**< timer for liveness calculation */