Merge branch 'fix/martin/kernel/terminate-false-with-noreturn-attr' into 'master'
Terminates false for noreturn functions See merge request frama-c/frama-c!4665
No related branches found
No related tags found
Showing
- share/libc/stdlib.h 4 additions, 0 deletionsshare/libc/stdlib.h
- share/libc/unistd.h 1 addition, 0 deletionsshare/libc/unistd.h
- src/kernel_internals/typing/populate_spec.ml 24 additions, 19 deletionssrc/kernel_internals/typing/populate_spec.ml
- src/kernel_services/ast_data/kernel_function.ml 6 additions, 0 deletionssrc/kernel_services/ast_data/kernel_function.ml
- src/kernel_services/ast_data/kernel_function.mli 4 additions, 0 deletionssrc/kernel_services/ast_data/kernel_function.mli
- src/plugins/e-acsl/tests/builtin/oracle/gen_strcat.c 6 additions, 4 deletionssrc/plugins/e-acsl/tests/builtin/oracle/gen_strcat.c
- src/plugins/e-acsl/tests/builtin/oracle/gen_strcmp.c 11 additions, 7 deletionssrc/plugins/e-acsl/tests/builtin/oracle/gen_strcmp.c
- src/plugins/e-acsl/tests/builtin/oracle/gen_strcpy.c 6 additions, 4 deletionssrc/plugins/e-acsl/tests/builtin/oracle/gen_strcpy.c
- src/plugins/e-acsl/tests/builtin/oracle/gen_strlen.c 11 additions, 7 deletionssrc/plugins/e-acsl/tests/builtin/oracle/gen_strlen.c
- src/plugins/e-acsl/tests/builtin/oracle/strcat.res.oracle 8 additions, 5 deletionssrc/plugins/e-acsl/tests/builtin/oracle/strcat.res.oracle
- src/plugins/e-acsl/tests/builtin/oracle/strcmp.res.oracle 10 additions, 4 deletionssrc/plugins/e-acsl/tests/builtin/oracle/strcmp.res.oracle
- src/plugins/e-acsl/tests/builtin/oracle/strcpy.res.oracle 6 additions, 3 deletionssrc/plugins/e-acsl/tests/builtin/oracle/strcpy.res.oracle
- src/plugins/e-acsl/tests/builtin/oracle/strlen.res.oracle 10 additions, 4 deletionssrc/plugins/e-acsl/tests/builtin/oracle/strlen.res.oracle
- src/plugins/e-acsl/tests/concurrency/oracle/gen_parallel_threads.c 6 additions, 4 deletions...ns/e-acsl/tests/concurrency/oracle/gen_parallel_threads.c
- src/plugins/e-acsl/tests/concurrency/oracle/gen_threads_debug.c 6 additions, 4 deletions...ugins/e-acsl/tests/concurrency/oracle/gen_threads_debug.c
- src/plugins/e-acsl/tests/concurrency/oracle/parallel_threads.res.oracle 7 additions, 4 deletions...acsl/tests/concurrency/oracle/parallel_threads.res.oracle
- src/plugins/e-acsl/tests/concurrency/oracle/threads_debug.res.oracle 7 additions, 4 deletions.../e-acsl/tests/concurrency/oracle/threads_debug.res.oracle
- src/plugins/e-acsl/tests/format/oracle/fprintf.res.oracle 8 additions, 5 deletionssrc/plugins/e-acsl/tests/format/oracle/fprintf.res.oracle
- src/plugins/e-acsl/tests/format/oracle/gen_fprintf.c 6 additions, 4 deletionssrc/plugins/e-acsl/tests/format/oracle/gen_fprintf.c
- src/plugins/e-acsl/tests/format/oracle/gen_printf.c 11 additions, 7 deletionssrc/plugins/e-acsl/tests/format/oracle/gen_printf.c
Loading
Please register or sign in to comment