diff options
Diffstat (limited to 'ports/powerpc/main.c')
| -rw-r--r-- | ports/powerpc/main.c | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/ports/powerpc/main.c b/ports/powerpc/main.c index 9b164ac18..421f9be71 100644 --- a/ports/powerpc/main.c +++ b/ports/powerpc/main.c @@ -50,7 +50,8 @@ void __stack_chk_fail(void) { void __assert_fail(const char *__assertion, const char *__file, unsigned int __line, const char *__function) { printf("Assert at %s:%d:%s() \"%s\" failed\n", __file, __line, __function, __assertion); - for (;;) ; + for (;;) {; + } } static char *stack_top; @@ -62,7 +63,7 @@ extern void uart_init_ppc(int qemu); int main(int argc, char **argv) { int stack_dummy; - stack_top = (char*)&stack_dummy; + stack_top = (char *)&stack_dummy; // microwatt has argc/r3 = 0 whereas QEMU has r3 set in head.S uart_init_ppc(argc); @@ -124,11 +125,15 @@ mp_obj_t mp_builtin_open(size_t n_args, const mp_obj_t *args, mp_map_t *kwargs) MP_DEFINE_CONST_FUN_OBJ_KW(mp_builtin_open_obj, 1, mp_builtin_open); void nlr_jump_fail(void *val) { - while (1); + while (1) { + ; + } } void NORETURN __fatal_error(const char *msg) { - while (1); + while (1) { + ; + } } #ifndef NDEBUG |