Merge branch 'fix/michele/init_obj_1195' into 'master'
Check for frama_c_init_obj attribute in argument of function call. Closes #1195 See merge request frama-c/frama-c!3994
Showing
- src/kernel_internals/typing/cabs2cil.ml 10 additions, 1 deletionsrc/kernel_internals/typing/cabs2cil.ml
- src/kernel_services/ast_queries/cil.ml 25 additions, 10 deletionssrc/kernel_services/ast_queries/cil.ml
- src/kernel_services/ast_queries/cil.mli 4 additions, 0 deletionssrc/kernel_services/ast_queries/cil.mli
- tests/syntax/const-assignments.c 21 additions, 1 deletiontests/syntax/const-assignments.c
- tests/syntax/oracle/const-assignments.0.res.oracle 17 additions, 2 deletionstests/syntax/oracle/const-assignments.0.res.oracle
- tests/syntax/oracle/const-assignments.1.res.oracle 1 addition, 1 deletiontests/syntax/oracle/const-assignments.1.res.oracle
- tests/syntax/oracle/const-assignments.10.res.oracle 7 additions, 0 deletionstests/syntax/oracle/const-assignments.10.res.oracle
- tests/syntax/oracle/const-assignments.2.res.oracle 1 addition, 1 deletiontests/syntax/oracle/const-assignments.2.res.oracle
- tests/syntax/oracle/const-assignments.3.res.oracle 1 addition, 1 deletiontests/syntax/oracle/const-assignments.3.res.oracle
- tests/syntax/oracle/const-assignments.4.res.oracle 1 addition, 1 deletiontests/syntax/oracle/const-assignments.4.res.oracle
- tests/syntax/oracle/const-assignments.5.res.oracle 1 addition, 1 deletiontests/syntax/oracle/const-assignments.5.res.oracle
- tests/syntax/oracle/const-assignments.6.res.oracle 1 addition, 1 deletiontests/syntax/oracle/const-assignments.6.res.oracle
- tests/syntax/oracle/const-assignments.7.res.oracle 18 additions, 3 deletionstests/syntax/oracle/const-assignments.7.res.oracle
- tests/syntax/oracle/const-assignments.8.res.oracle 18 additions, 3 deletionstests/syntax/oracle/const-assignments.8.res.oracle
- tests/syntax/oracle/const-assignments.9.res.oracle 1 addition, 1 deletiontests/syntax/oracle/const-assignments.9.res.oracle
Loading
Please register or sign in to comment