[RTL] Fixed e_acsl_malloc.h to use sbrk-based allocations for blocks
smaller than 512KB in 32-bit systems and 32MB in 64-bit systems.
Showing
- src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_adt_api.h 0 additions, 1 deletionsrc/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_adt_api.h
- src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_adt_mmodel.h 3 additions, 6 deletions...lugins/e-acsl/share/e-acsl/adt_models/e_acsl_adt_mmodel.h
- src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_list.h 1 addition, 1 deletionsrc/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_list.h
- src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_splaytree.h 1 addition, 1 deletion...plugins/e-acsl/share/e-acsl/adt_models/e_acsl_splaytree.h
- src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_tree.h 2 additions, 2 deletionssrc/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_tree.h
- src/plugins/e-acsl/share/e-acsl/e_acsl_malloc.h 33 additions, 0 deletionssrc/plugins/e-acsl/share/e-acsl/e_acsl_malloc.h
Loading
Please register or sign in to comment