tests/libc · 35be8cd279ffac9f4a7049343ad354edf2567cb0 · pub / frama-c

[kernel] Fix decision whether to introduce an implicit cast or not

Virgile Prevosto authored 3 years ago

attributes that are completely internal to Frama-C and do not have any impact
on the semantics of the underlying value should not lead to a cast node.

35be8cd2

History

35be8cd2 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