summaryrefslogtreecommitdiffhomepage
path: root/ir/be/bessadestr.h
diff options
context:
space:
mode:
authorMatthias Braun <matze@braunis.de>2014-12-30 21:08:03 +0100
committerMatthias Braun <matze@braunis.de>2014-12-30 21:08:03 +0100
commitac845efc9958358732393f38cc0f446f36f95705 (patch)
treed01d646c74f46569a9ffe71098d4376e9b1dfd87 /ir/be/bessadestr.h
parentaf1b62b986134367e7c053b468527eaa8151ff73 (diff)
be: abort after a verifier has failed
Diffstat (limited to 'ir/be/bessadestr.h')
-rw-r--r--ir/be/bessadestr.h3
1 files changed, 2 insertions, 1 deletions
diff --git a/ir/be/bessadestr.h b/ir/be/bessadestr.h
index a52bb5e..e1016d4 100644
--- a/ir/be/bessadestr.h
+++ b/ir/be/bessadestr.h
@@ -12,6 +12,7 @@
#ifndef FIRM_BE_BESSADESTR_H
#define FIRM_BE_BESSADESTR_H
+#include <stdbool.h>
#include "be_types.h"
#include "firm_types.h"
@@ -19,6 +20,6 @@
* Performs SSA destruction. Arguments get adjusted, phi nodes just stay.
*/
void be_ssa_destruction(ir_graph *irg, const arch_register_class_t *cls);
-void be_ssa_destruction_check(ir_graph *irg, const arch_register_class_t *cls);
+bool be_ssa_destruction_check(ir_graph *irg, const arch_register_class_t *cls);
#endif