soc2c: the generated C code for '=' and '<>' was wrong in presence of arrays.
I've fixed that using memcmp, which should be fine since compared elements are of the same types.
Showing
- _oasis 1 addition, 1 deletion_oasis
- src/lv6version.ml 2 additions, 2 deletionssrc/lv6version.ml
- src/main.ml 2 additions, 2 deletionssrc/main.ml
- src/soc2c.ml 22 additions, 3 deletionssrc/soc2c.ml
- src/soc2cDep.mli 2 additions, 2 deletionssrc/soc2cDep.mli
- src/soc2cExtern.ml 3 additions, 3 deletionssrc/soc2cExtern.ml
- src/soc2cHeap.ml 13 additions, 8 deletionssrc/soc2cHeap.ml
- src/soc2cHeap.mli 2 additions, 2 deletionssrc/soc2cHeap.mli
- src/soc2cPredef.ml 101 additions, 59 deletionssrc/soc2cPredef.ml
- src/soc2cPredef.mli 3 additions, 3 deletionssrc/soc2cPredef.mli
- src/soc2cStack.ml 14 additions, 9 deletionssrc/soc2cStack.ml
- src/soc2cStack.mli 2 additions, 2 deletionssrc/soc2cStack.mli
- src/soc2cUtil.ml 1 addition, 1 deletionsrc/soc2cUtil.ml
- src/socPredef2cHeap.ml 25 additions, 6 deletionssrc/socPredef2cHeap.ml
- src/socPredef2cStack.ml 22 additions, 6 deletionssrc/socPredef2cStack.ml
- test/lus2lic.sum 23 additions, 17 deletionstest/lus2lic.sum
- test/should_work/array_equals.lus 4 additions, 0 deletionstest/should_work/array_equals.lus
- test/should_work/struct_equality.lus 10 additions, 0 deletionstest/should_work/struct_equality.lus
- utils/compare_exec_and_2c 1 addition, 1 deletionutils/compare_exec_and_2c
Loading
Please register or sign in to comment