diff options
Diffstat (limited to 'gcc/java/constants.c')
-rw-r--r-- | gcc/java/constants.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/gcc/java/constants.c b/gcc/java/constants.c index ee7be0b..0dcd715 100644 --- a/gcc/java/constants.c +++ b/gcc/java/constants.c @@ -268,10 +268,10 @@ count_constant_pool_bytes (cpool) void write_constant_pool (cpool, buffer, length) CPool *cpool; - unsigned char* buffer; + unsigned char *buffer; int length; { - unsigned char* ptr = buffer; + unsigned char *ptr = buffer; int i = 1; jword *datap = &cpool->data[1]; PUT2 (cpool->count); @@ -311,8 +311,9 @@ write_constant_pool (cpool, buffer, length) break; } } + if (ptr != buffer + length) - fatal("internal error - incorrect constant pool"); + abort (); } CPool *outgoing_cpool; |