From 9324c2168a7ca3efc98d5d770b684f4734ca1035 Mon Sep 17 00:00:00 2001 From: Masaki Muranaka Date: Fri, 8 Mar 2013 22:48:32 +0900 Subject: Don't initialize variables that store result as MRB_DUMP_OK. It possibly causes bugs on modifications in the future. --- src/dump.c | 2 +- src/load.c | 13 ++++++++----- 2 files changed, 9 insertions(+), 6 deletions(-) diff --git a/src/dump.c b/src/dump.c index bf5a9b6f4..94cdeebb2 100644 --- a/src/dump.c +++ b/src/dump.c @@ -348,7 +348,7 @@ write_rite_binary_header(mrb_state *mrb, uint32_t binary_size, uint8_t* bin) static int mrb_dump_irep(mrb_state *mrb, int start_index, uint8_t **bin, uint32_t *bin_size) { - int result = MRB_DUMP_OK, irep_no, section_irep_size; + int result, irep_no, section_irep_size; uint8_t *cur = NULL; if (mrb == NULL || start_index < 0 || start_index >= mrb->irep_len) { diff --git a/src/load.c b/src/load.c index 30a987492..5522d9bb1 100644 --- a/src/load.c +++ b/src/load.c @@ -22,7 +22,7 @@ offset_crc_body() static int read_rite_irep_record(mrb_state *mrb, const uint8_t *bin, uint32_t *len) { - int i, ret = MRB_DUMP_OK; + int i, ret; char *char_buf; const uint8_t *src = bin; uint16_t tt, pool_data_len, snl, buf_size = MRB_DUMP_DEFAULT_STR_LEN; @@ -155,6 +155,7 @@ read_rite_irep_record(mrb_state *mrb, const uint8_t *bin, uint32_t *len) } *len = src - bin; + ret = MRB_DUMP_OK; error_exit: mrb_free(mrb, char_buf); return ret; @@ -163,7 +164,7 @@ error_exit: static int read_rite_section_irep(mrb_state *mrb, const uint8_t *bin) { - int n, i, result = MRB_DUMP_OK; + int n, i, result; uint32_t len, sirep; uint16_t nirep; const struct rite_section_irep_header *header; @@ -182,6 +183,7 @@ read_rite_section_irep(mrb_state *mrb, const uint8_t *bin) bin += len; } + result = MRB_DUMP_OK; error_exit: if (result != MRB_DUMP_OK) { for (n = 0, i = sirep; i < mrb->irep_len; n++, i++) { @@ -225,7 +227,7 @@ read_rite_binary_header(const uint8_t *bin, uint32_t *bin_size, uint16_t *crc) int mrb_read_irep(mrb_state *mrb, const uint8_t *bin) { - int total_nirep = 0, result = MRB_DUMP_OK; + int total_nirep = 0, result; const struct rite_section_header *section_header; uint16_t crc; uint32_t bin_size = 0, n; @@ -285,7 +287,7 @@ mrb_load_irep(mrb_state *mrb, const uint8_t *bin) static int read_rite_section_irep_file(mrb_state *mrb, FILE *fp) { - int n, i, result = MRB_DUMP_OK; + int n, i, result; uint16_t sirep, nirep; uint32_t len, buf_size; uint8_t *buf = NULL; @@ -311,6 +313,7 @@ read_rite_section_irep_file(mrb_state *mrb, FILE *fp) goto error_exit; } + result = MRB_DUMP_OK; error_exit: mrb_free(mrb, buf); if (result != MRB_DUMP_OK) { @@ -336,7 +339,7 @@ error_exit: int mrb_read_irep_file(mrb_state *mrb, FILE* fp) { - int total_nirep = 0, result = MRB_DUMP_OK; + int total_nirep = 0, result; uint8_t *buf; uint16_t crc, crcwk = 0; uint32_t bin_size = 0, buf_size = 0, section_size = 0; -- cgit v1.2.3 From faa1e5670ad475e5363f1c1010fddf9902883de9 Mon Sep 17 00:00:00 2001 From: Masaki Muranaka Date: Fri, 8 Mar 2013 23:03:40 +0900 Subject: Remove unused substitutions and calculations. --- src/load.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/load.c b/src/load.c index 5522d9bb1..f22e26787 100644 --- a/src/load.c +++ b/src/load.c @@ -186,7 +186,7 @@ read_rite_section_irep(mrb_state *mrb, const uint8_t *bin) result = MRB_DUMP_OK; error_exit: if (result != MRB_DUMP_OK) { - for (n = 0, i = sirep; i < mrb->irep_len; n++, i++) { + for (i = sirep; i < mrb->irep_len; i++) { if (mrb->irep[i]) { if (mrb->irep[i]->iseq) mrb_free(mrb, mrb->irep[i]->iseq); @@ -317,7 +317,7 @@ read_rite_section_irep_file(mrb_state *mrb, FILE *fp) error_exit: mrb_free(mrb, buf); if (result != MRB_DUMP_OK) { - for (n = 0, i = sirep; i < mrb->irep_len; n++, i++) { + for (i = sirep; i < mrb->irep_len; i++) { if (mrb->irep[i]) { if (mrb->irep[i]->iseq) mrb_free(mrb, mrb->irep[i]->iseq); -- cgit v1.2.3 From 07017a4188db3c21dc79bb4d83ae38aacb4af788 Mon Sep 17 00:00:00 2001 From: Masaki Muranaka Date: Sat, 9 Mar 2013 00:12:19 +0900 Subject: Use type cast not void* but char*. Don't substiture void pointers. --- src/load.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/load.c b/src/load.c index f22e26787..7e58614a7 100644 --- a/src/load.c +++ b/src/load.c @@ -16,7 +16,7 @@ static size_t offset_crc_body() { struct rite_binary_header header; - return ((void*)header.binary_crc - (void*)&header) + sizeof(header.binary_crc); + return ((char *)header.binary_crc - (char *)&header) + sizeof(header.binary_crc); } static int -- cgit v1.2.3 From 6ff50568e1e5fb20f7d1e542bf23b25892515fcb Mon Sep 17 00:00:00 2001 From: Masaki Muranaka Date: Sat, 9 Mar 2013 00:23:08 +0900 Subject: Store to *bin_size if bin_size != NULL. --- src/load.c | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/load.c b/src/load.c index 7e58614a7..eaa98a206 100644 --- a/src/load.c +++ b/src/load.c @@ -219,7 +219,9 @@ read_rite_binary_header(const uint8_t *bin, uint32_t *bin_size, uint16_t *crc) } *crc = bin_to_uint16(header->binary_crc); - *bin_size = bin_to_uint32(header->binary_size); + if (bin_size) { + *bin_size = bin_to_uint32(header->binary_size); + } return MRB_DUMP_OK; } @@ -355,7 +357,7 @@ mrb_read_irep_file(mrb_state *mrb, FILE* fp) buf_size = sizeof(struct rite_binary_header); buf = mrb_malloc(mrb, buf_size); fread(buf, sizeof(struct rite_binary_header), 1, fp); - result = read_rite_binary_header(buf, &bin_size, &crc); + result = read_rite_binary_header(buf, NULL, &crc); mrb_free(mrb, buf); if(result != MRB_DUMP_OK) { return result; -- cgit v1.2.3 From 51de2ba1d903dafdd5607e8efd4197e2c6620235 Mon Sep 17 00:00:00 2001 From: Masaki Muranaka Date: Sat, 9 Mar 2013 00:24:17 +0900 Subject: Clean up code. --- src/load.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/load.c b/src/load.c index eaa98a206..be3d9ac65 100644 --- a/src/load.c +++ b/src/load.c @@ -349,14 +349,14 @@ mrb_read_irep_file(mrb_state *mrb, FILE* fp) struct rite_section_header section_header; long fpos; const size_t block_size = 1 << 14; + const size_t buf_size = sizeof(struct rite_binary_header); if ((mrb == NULL) || (fp == NULL)) { return MRB_DUMP_INVALID_ARGUMENT; } - buf_size = sizeof(struct rite_binary_header); buf = mrb_malloc(mrb, buf_size); - fread(buf, sizeof(struct rite_binary_header), 1, fp); + fread(buf, buf_size, 1, fp); result = read_rite_binary_header(buf, NULL, &crc); mrb_free(mrb, buf); if(result != MRB_DUMP_OK) { -- cgit v1.2.3 From 8a7f5360cf58492467df6ec236355436bdc2a977 Mon Sep 17 00:00:00 2001 From: Masaki Muranaka Date: Sat, 9 Mar 2013 00:30:06 +0900 Subject: Sanity check. As there are implicaton SIZE_MAX >= UINT32_MAX in this code. This assumption may break on some targets which have 16bit memory space. --- src/load.c | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/load.c b/src/load.c index be3d9ac65..8cd303ca5 100644 --- a/src/load.c +++ b/src/load.c @@ -12,6 +12,12 @@ #include "mruby/irep.h" +#ifndef _WIN32 +# if SIZE_MAX < UINT32_MAX +# error "It can't be run this code on this environment (SIZE_MAX < UINT32_MAX)" +# endif +#endif + static size_t offset_crc_body() { -- cgit v1.2.3 From 5bed51e584c6bebdf2dc66ba319234250c8e6018 Mon Sep 17 00:00:00 2001 From: Masaki Muranaka Date: Sat, 9 Mar 2013 00:35:58 +0900 Subject: Don't use int. It decreases portability. Use size_t as array index and length. It avoids overflow in the extreme situations. --- include/mruby/dump.h | 6 +++--- include/mruby/irep.h | 2 +- src/crc.c | 5 +++-- src/dump.c | 40 ++++++++++++++++++++++++---------------- src/load.c | 42 ++++++++++++++++++++++++++---------------- 5 files changed, 57 insertions(+), 38 deletions(-) diff --git a/include/mruby/dump.h b/include/mruby/dump.h index a536cb46b..a340427ac 100644 --- a/include/mruby/dump.h +++ b/include/mruby/dump.h @@ -18,9 +18,9 @@ extern "C" { #include #ifdef ENABLE_STDIO -int mrb_dump_irep_binary(mrb_state*, int, FILE*); -int mrb_dump_irep_cfunc(mrb_state *mrb, int n, FILE *f, const char *initname); -int mrb_read_irep_file(mrb_state*, FILE*); +int mrb_dump_irep_binary(mrb_state*, size_t, FILE*); +int mrb_dump_irep_cfunc(mrb_state *mrb, size_t n, FILE *f, const char *initname); +int32_t mrb_read_irep_file(mrb_state*, FILE*); #endif int mrb_read_irep(mrb_state*, const uint8_t*); diff --git a/include/mruby/irep.h b/include/mruby/irep.h index e31536e65..35fa3f964 100644 --- a/include/mruby/irep.h +++ b/include/mruby/irep.h @@ -25,7 +25,7 @@ typedef struct mrb_irep { const char *filename; short *lines; - int ilen, plen, slen; + size_t ilen, plen, slen; } mrb_irep; #define MRB_ISEQ_NO_FREE 1 diff --git a/src/crc.c b/src/crc.c index 70fa60dfb..db852f6cb 100644 --- a/src/crc.c +++ b/src/crc.c @@ -18,9 +18,10 @@ #define CRC_CARRY_BIT (1 << 24) uint16_t -calc_crc_16_ccitt(const uint8_t *src, uint32_t nbytes, uint16_t crc) +calc_crc_16_ccitt(const uint8_t *src, size_t nbytes, uint16_t crc) { - uint32_t ibyte, ibit; + size_t ibyte; + uint32_t ibit; uint32_t crcwk = crc << 8; for (ibyte = 0; ibyte < nbytes; ibyte++) { diff --git a/src/dump.c b/src/dump.c index 94cdeebb2..fb5bb5e7c 100644 --- a/src/dump.c +++ b/src/dump.c @@ -53,7 +53,7 @@ static int write_iseq_block(mrb_state *mrb, mrb_irep *irep, uint8_t *buf) { uint8_t *cur = buf; - int iseq_no; + size_t iseq_no; cur += uint32_to_bin(irep->ilen, cur); /* number of opcode */ for (iseq_no = 0; iseq_no < irep->ilen; iseq_no++) { @@ -68,7 +68,8 @@ static size_t get_pool_block_size(mrb_state *mrb, mrb_irep *irep) { size_t size = 0; - int pool_no, len; + size_t pool_no; + int len; mrb_value str; char buf[32]; @@ -103,7 +104,8 @@ get_pool_block_size(mrb_state *mrb, mrb_irep *irep) static int write_pool_block(mrb_state *mrb, mrb_irep *irep, uint8_t *buf) { - int result, pool_no; + int result; + size_t pool_no; uint8_t *cur = buf; size_t buf_size, len; mrb_value str; @@ -169,7 +171,8 @@ static size_t get_syms_block_size(mrb_state *mrb, mrb_irep *irep) { size_t size = 0; - int sym_no, len; + size_t sym_no; + int len; size += sizeof(uint32_t); /* slen */ for (sym_no = 0; sym_no < irep->slen; sym_no++) { @@ -186,7 +189,9 @@ get_syms_block_size(mrb_state *mrb, mrb_irep *irep) static int write_syms_block(mrb_state *mrb, mrb_irep *irep, uint8_t *buf) { - int result, sym_no, len, buf_size; + int result, len; + size_t sym_no; + size_t buf_size; uint8_t *cur = buf; uint16_t nlen; char *char_buf = NULL; @@ -298,13 +303,14 @@ mrb_write_section_irep_header(mrb_state *mrb, uint32_t section_size, uint16_t ni } static int -mrb_write_section_irep(mrb_state *mrb, int start_index, uint8_t *bin) +mrb_write_section_irep(mrb_state *mrb, size_t start_index, uint8_t *bin) { - int result, irep_no; + int result; + size_t irep_no; uint32_t section_size = 0, rlen = 0; /* size of irep record */ uint8_t *cur = bin; - if (mrb == NULL || start_index < 0 || start_index >= mrb->irep_len || bin == NULL) { + if (mrb == NULL || start_index >= mrb->irep_len || bin == NULL) { return MRB_DUMP_INVALID_ARGUMENT; } @@ -326,7 +332,7 @@ mrb_write_section_irep(mrb_state *mrb, int start_index, uint8_t *bin) } static int -write_rite_binary_header(mrb_state *mrb, uint32_t binary_size, uint8_t* bin) +write_rite_binary_header(mrb_state *mrb, size_t binary_size, uint8_t* bin) { struct rite_binary_header *header = (struct rite_binary_header*)bin; uint16_t crc; @@ -346,12 +352,14 @@ write_rite_binary_header(mrb_state *mrb, uint32_t binary_size, uint8_t* bin) } static int -mrb_dump_irep(mrb_state *mrb, int start_index, uint8_t **bin, uint32_t *bin_size) +mrb_dump_irep(mrb_state *mrb, size_t start_index, uint8_t **bin, size_t *bin_size) { - int result, irep_no, section_irep_size; + int result; + size_t section_irep_size; + size_t irep_no; uint8_t *cur = NULL; - if (mrb == NULL || start_index < 0 || start_index >= mrb->irep_len) { + if (mrb == NULL || start_index >= mrb->irep_len) { *bin = NULL; goto error_exit; } @@ -391,10 +399,10 @@ error_exit: #ifdef ENABLE_STDIO int -mrb_dump_irep_binary(mrb_state *mrb, int start_index, FILE* fp) +mrb_dump_irep_binary(mrb_state *mrb, size_t start_index, FILE* fp) { uint8_t *bin = NULL; - uint32_t bin_size = 0; + size_t bin_size = 0; int result; if (fp == NULL) { @@ -411,10 +419,10 @@ mrb_dump_irep_binary(mrb_state *mrb, int start_index, FILE* fp) } int -mrb_dump_irep_cfunc(mrb_state *mrb, int start_index, FILE *fp, const char *initname) +mrb_dump_irep_cfunc(mrb_state *mrb, size_t start_index, FILE *fp, const char *initname) { uint8_t *bin = NULL; - uint32_t bin_size = 0, bin_idx = 0; + size_t bin_size = 0, bin_idx = 0; int result; if (fp == NULL || initname == NULL) { diff --git a/src/load.c b/src/load.c index 8cd303ca5..92799eb49 100644 --- a/src/load.c +++ b/src/load.c @@ -28,13 +28,14 @@ offset_crc_body() static int read_rite_irep_record(mrb_state *mrb, const uint8_t *bin, uint32_t *len) { - int i, ret; + int ret; + size_t i; char *char_buf; const uint8_t *src = bin; uint16_t tt, pool_data_len, snl, buf_size = MRB_DUMP_DEFAULT_STR_LEN; mrb_int fix_num; mrb_float f; - int plen; + size_t plen; int ai = mrb_gc_arena_save(mrb); mrb_irep *irep = mrb_add_irep(mrb); @@ -170,9 +171,12 @@ error_exit: static int read_rite_section_irep(mrb_state *mrb, const uint8_t *bin) { - int n, i, result; - uint32_t len, sirep; + int result; + size_t sirep; + size_t i; + uint32_t len; uint16_t nirep; + uint16_t n; const struct rite_section_irep_header *header; header = (const struct rite_section_irep_header*)bin; @@ -212,7 +216,7 @@ error_exit: } static int -read_rite_binary_header(const uint8_t *bin, uint32_t *bin_size, uint16_t *crc) +read_rite_binary_header(const uint8_t *bin, size_t *bin_size, uint16_t *crc) { const struct rite_binary_header *header = (const struct rite_binary_header *)bin; @@ -232,13 +236,15 @@ read_rite_binary_header(const uint8_t *bin, uint32_t *bin_size, uint16_t *crc) return MRB_DUMP_OK; } -int +int32_t mrb_read_irep(mrb_state *mrb, const uint8_t *bin) { - int total_nirep = 0, result; + int result; + int32_t total_nirep = 0; const struct rite_section_header *section_header; uint16_t crc; - uint32_t bin_size = 0, n; + size_t bin_size = 0; + size_t n; if ((mrb == NULL) || (bin == NULL)) { return MRB_DUMP_INVALID_ARGUMENT; @@ -280,7 +286,7 @@ irep_error(mrb_state *mrb, const char *msg) mrb_value mrb_load_irep(mrb_state *mrb, const uint8_t *bin) { - int n; + int32_t n; n = mrb_read_irep(mrb, bin); if (n < 0) { @@ -292,14 +298,17 @@ mrb_load_irep(mrb_state *mrb, const uint8_t *bin) #ifdef ENABLE_STDIO -static int +static int32_t read_rite_section_irep_file(mrb_state *mrb, FILE *fp) { - int n, i, result; - uint16_t sirep, nirep; + int32_t result; + size_t sirep; + size_t i; + uint16_t nirep; + uint16_t n; uint32_t len, buf_size; uint8_t *buf = NULL; - const int record_header_size = 1 + 4; + const size_t record_header_size = 1 + 4; struct rite_section_irep_header header; fread(&header, sizeof(struct rite_section_irep_header), 1, fp); @@ -344,13 +353,14 @@ error_exit: return sirep + bin_to_uint16(header.sirep); } -int +int32_t mrb_read_irep_file(mrb_state *mrb, FILE* fp) { - int total_nirep = 0, result; + int result; + int32_t total_nirep = 0; uint8_t *buf; uint16_t crc, crcwk = 0; - uint32_t bin_size = 0, buf_size = 0, section_size = 0; + uint32_t section_size = 0; size_t nbytes; struct rite_section_header section_header; long fpos; -- cgit v1.2.3 From 065494887d92c085a78ca3624e26659acc2bfdfc Mon Sep 17 00:00:00 2001 From: Masaki Muranaka Date: Sat, 9 Mar 2013 00:38:10 +0900 Subject: Fix warnings. --- src/codegen.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/codegen.c b/src/codegen.c index 33df7fbf5..d71c0bbd2 100644 --- a/src/codegen.c +++ b/src/codegen.c @@ -2409,7 +2409,7 @@ codedump(mrb_state *mrb, int n) if (!irep) return; printf("irep %d nregs=%d nlocals=%d pools=%d syms=%d\n", n, - irep->nregs, irep->nlocals, irep->plen, irep->slen); + irep->nregs, irep->nlocals, (int)irep->plen, (int)irep->slen); for (i=0; iilen; i++) { ai = mrb_gc_arena_save(mrb); printf("%03d ", i); -- cgit v1.2.3