tests/libc · b387e3bd081b996fcadebbb3796bdc463f42ae6d · pub / frama-c

Virgile Prevosto authored 3 years ago

- always remove FC's internal attribute everywhere before deciding whether
  a cast is needed.
- ACSL and C decisions to cast are similar
- only unroll type for checking equality. If a cast is needed, keep
  typedef (if any) as target

b387e3bd

History

b387e3bd 3 years ago

History

Name	Last commit	Last update
..
oracle
alloca_h.c
argz_c.c
assert_h.c
check_compliance.ml
check_const.ml
check_full_libc.sh
check_libc_anonymous_tags.ml
check_libc_naming_conventions.ml
check_parsing_individual_headers.ml
check_some_metrics.sh
compile_and_run.sh
coverage.c
ctype.c
err_h.c
fc_builtin_c.c
fc_libc.c
fpclassify.c
glob_c.c
inttypes_h.c
inttypes_h2.c
libgen_h.c
limits_h.c
locale_h.c
math_h.c
memchr_off.c
more_gcc_builtins.c
netdb_c.c
netinet_in_h.c
poll.c
pthread_h.c
pwd_c.c
pwd_h.c
runtime.c
search_h.c
signal_h.c
socket.c
socket_h.c
spawn_h.c
stdatomic_c.c
stdbool_as_cpp.c
stdint_h.c
stdio_c.c
stdio_h.c
stdlib_c.c
stdlib_c_env.c
stdlib_h.c
stdnoreturn_h.c
string_c.c
string_c_generic.c
string_c_strchr.c
string_c_strstr.c
string_h.c
strings_h.c
sys_file_h.c
sys_select.c
sys_sendfile_h.c
sys_stat_h.c
sys_time_h.c
sys_times.c
sys_types.c
sys_uio_h.c
sys_utsname_h.c
sys_wait_h.c
termios.c
test_config
test_config_gcc
time_c.c
time_h.c
time_misc.c
unistd_h.c
wchar_c_h.c
wchar_h.c
wctype_h.c