[Cabs2cil] avoid more crashes due to large array initializer
Note: trying to compile the initializer with gcc/CompCert likely results in 'no space left on device'. Clang 12 reports an unexpected warning ("initializer overrides prior initialization of this subobject"), and some tests indicate it actually replaces index 72057594037927936 with 0, which would explain why it compiles. Removing a digit from the index, for instance, results in a similar issue as GCC/CompCert (except that Clang starts consuming all RAM instead of simply disk space).
Showing
- src/kernel_internals/typing/cabs2cil.ml 7 additions, 3 deletionssrc/kernel_internals/typing/cabs2cil.ml
- tests/syntax/oracle/very_large_integers.0.res.oracle 2 additions, 2 deletionstests/syntax/oracle/very_large_integers.0.res.oracle
- tests/syntax/oracle/very_large_integers.1.res.oracle 4 additions, 4 deletionstests/syntax/oracle/very_large_integers.1.res.oracle
- tests/syntax/oracle/very_large_integers.10.res.oracle 3 additions, 3 deletionstests/syntax/oracle/very_large_integers.10.res.oracle
- tests/syntax/oracle/very_large_integers.11.res.oracle 5 additions, 5 deletionstests/syntax/oracle/very_large_integers.11.res.oracle
- tests/syntax/oracle/very_large_integers.12.res.oracle 3 additions, 3 deletionstests/syntax/oracle/very_large_integers.12.res.oracle
- tests/syntax/oracle/very_large_integers.13.res.oracle 3 additions, 3 deletionstests/syntax/oracle/very_large_integers.13.res.oracle
- tests/syntax/oracle/very_large_integers.14.res.oracle 3 additions, 3 deletionstests/syntax/oracle/very_large_integers.14.res.oracle
- tests/syntax/oracle/very_large_integers.15.res.oracle 7 additions, 18 deletionstests/syntax/oracle/very_large_integers.15.res.oracle
- tests/syntax/oracle/very_large_integers.16.res.oracle 11 additions, 0 deletionstests/syntax/oracle/very_large_integers.16.res.oracle
- tests/syntax/oracle/very_large_integers.17.res.oracle 22 additions, 0 deletionstests/syntax/oracle/very_large_integers.17.res.oracle
- tests/syntax/oracle/very_large_integers.2.res.oracle 2 additions, 2 deletionstests/syntax/oracle/very_large_integers.2.res.oracle
- tests/syntax/oracle/very_large_integers.3.res.oracle 1 addition, 1 deletiontests/syntax/oracle/very_large_integers.3.res.oracle
- tests/syntax/oracle/very_large_integers.4.res.oracle 1 addition, 1 deletiontests/syntax/oracle/very_large_integers.4.res.oracle
- tests/syntax/oracle/very_large_integers.5.res.oracle 6 additions, 6 deletionstests/syntax/oracle/very_large_integers.5.res.oracle
- tests/syntax/oracle/very_large_integers.6.res.oracle 3 additions, 3 deletionstests/syntax/oracle/very_large_integers.6.res.oracle
- tests/syntax/oracle/very_large_integers.7.res.oracle 1 addition, 1 deletiontests/syntax/oracle/very_large_integers.7.res.oracle
- tests/syntax/oracle/very_large_integers.8.res.oracle 3 additions, 3 deletionstests/syntax/oracle/very_large_integers.8.res.oracle
- tests/syntax/oracle/very_large_integers.9.res.oracle 2 additions, 2 deletionstests/syntax/oracle/very_large_integers.9.res.oracle
- tests/syntax/very_large_integers.c 18 additions, 0 deletionstests/syntax/very_large_integers.c
Loading
Please register or sign in to comment