Merge branch 'feature/cil/populate-spec-add-callsite-location' into 'master'
restore callsite location in populate spec warnings See merge request frama-c/frama-c!4468
Showing
- src/plugins/e-acsl/tests/concurrency/oracle/parallel_threads.res.oracle 1 addition, 1 deletion...acsl/tests/concurrency/oracle/parallel_threads.res.oracle
- src/plugins/e-acsl/tests/concurrency/oracle/threads_debug.res.oracle 1 addition, 1 deletion.../e-acsl/tests/concurrency/oracle/threads_debug.res.oracle
- src/plugins/e-acsl/tests/memory/oracle/hidden_malloc.res.oracle 1 addition, 1 deletion...ugins/e-acsl/tests/memory/oracle/hidden_malloc.res.oracle
- src/plugins/e-acsl/tests/temporal/oracle/t_fun_lib.res.oracle 1 addition, 1 deletion...plugins/e-acsl/tests/temporal/oracle/t_fun_lib.res.oracle
- src/plugins/eva/engine/function_calls.ml 10 additions, 5 deletionssrc/plugins/eva/engine/function_calls.ml
- src/plugins/nonterm/tests/nonterm/oracle/n5.res.oracle 2 additions, 2 deletionssrc/plugins/nonterm/tests/nonterm/oracle/n5.res.oracle
- src/plugins/report/tests/report/oracle/csv.res.oracle 1 addition, 1 deletionsrc/plugins/report/tests/report/oracle/csv.res.oracle
- src/plugins/variadic/tests/declared/oracle/empty-vpar-with-ghost.res.oracle 1 addition, 1 deletion...ic/tests/declared/oracle/empty-vpar-with-ghost.res.oracle
- src/plugins/variadic/tests/declared/oracle/empty-vpar.res.oracle 1 addition, 1 deletion...gins/variadic/tests/declared/oracle/empty-vpar.res.oracle
- src/plugins/variadic/tests/declared/oracle/function-ptr-with-ghost.res.oracle 1 addition, 1 deletion.../tests/declared/oracle/function-ptr-with-ghost.res.oracle
- src/plugins/variadic/tests/declared/oracle/label.res.oracle 1 addition, 1 deletionsrc/plugins/variadic/tests/declared/oracle/label.res.oracle
- src/plugins/variadic/tests/declared/oracle/multi.res.oracle 2 additions, 2 deletionssrc/plugins/variadic/tests/declared/oracle/multi.res.oracle
- src/plugins/variadic/tests/declared/oracle/no-va-with-ghost.res.oracle 1 addition, 1 deletion...ariadic/tests/declared/oracle/no-va-with-ghost.res.oracle
- src/plugins/variadic/tests/declared/oracle/no-va.res.oracle 1 addition, 1 deletionsrc/plugins/variadic/tests/declared/oracle/no-va.res.oracle
- src/plugins/variadic/tests/declared/oracle/rvalues-with-ghost.res.oracle 1 addition, 1 deletion...iadic/tests/declared/oracle/rvalues-with-ghost.res.oracle
- src/plugins/variadic/tests/declared/oracle/rvalues.res.oracle 1 addition, 1 deletion...plugins/variadic/tests/declared/oracle/rvalues.res.oracle
- src/plugins/variadic/tests/declared/oracle/simple-with-ghost.res.oracle 1 addition, 1 deletion...riadic/tests/declared/oracle/simple-with-ghost.res.oracle
- src/plugins/variadic/tests/declared/oracle/simple.res.oracle 1 addition, 1 deletionsrc/plugins/variadic/tests/declared/oracle/simple.res.oracle
- src/plugins/variadic/tests/declared/oracle/struct.res.oracle 1 addition, 1 deletionsrc/plugins/variadic/tests/declared/oracle/struct.res.oracle
- src/plugins/variadic/tests/declared/oracle/typedefed_function-with-ghost.res.oracle 1 addition, 1 deletion.../declared/oracle/typedefed_function-with-ghost.res.oracle
Loading
Please register or sign in to comment