equal
deleted
inserted
replaced
424 #ifdef ASSERT |
424 #ifdef ASSERT |
425 { for (int i = 0; i < number_of_codes; i++) { |
425 { for (int i = 0; i < number_of_codes; i++) { |
426 if (is_defined(i)) { |
426 if (is_defined(i)) { |
427 Code code = cast(i); |
427 Code code = cast(i); |
428 Code java = java_code(code); |
428 Code java = java_code(code); |
429 if (can_trap(code) && !can_trap(java)) fatal2("%s can trap => %s can trap, too", name(code), name(java)); |
429 if (can_trap(code) && !can_trap(java)) |
|
430 fatal(err_msg("%s can trap => %s can trap, too", name(code), |
|
431 name(java))); |
430 } |
432 } |
431 } |
433 } |
432 } |
434 } |
433 #endif |
435 #endif |
434 |
436 |