fixes for gcc warnings wrt 64 bit platforms
authorkub <derkub@gmail.com>
Tue, 29 Dec 2020 10:13:45 +0000 (11:13 +0100)
committerkub <derkub@gmail.com>
Tue, 29 Dec 2020 10:13:45 +0000 (11:13 +0100)
commit2170797544daed58fd722880043a5b425469d655
tree670d9542fd8c9dbee59ede1ce88e8fb99196d97b
parent30969671e53b7e7b55aa9923cf742575f00b1e84
fixes for gcc warnings wrt 64 bit platforms
cpu/drc/emit_mips.c
pico/state.c
platform/common/config_file.c
platform/common/host_dasm.c