tests/libc/oracle · 414d48533d1f632b98d04d290aee3c67273b3f6c · pub / frama-c · GitLab

Snippets Groups Projects

[Libc] add check for anonymous enums/structs/unions

Andre Maroneze authored 5 years ago

This check will only be fully operational when rmtmps becomes optional,
but it still protects against errors in used definitions.

414d4853

414d4853 5 years ago

Name	Last commit	Last update
..
alloca_h.res.oracle
assert_h.res.oracle
coverage.res.oracle
ctype.res.oracle
fc_libc.0.res.oracle
fc_libc.1.res.oracle
fc_libc.2.res.oracle
fc_libc.3.res.oracle
fc_libc.4.res.oracle
fc_libc.5.res.oracle
fpclassify.res.oracle
glob_c.res.oracle
inttypes_h.0.res.oracle
inttypes_h.1.res.oracle
inttypes_h.2.res.oracle
inttypes_h.3.res.oracle
inttypes_h.4.res.oracle
inttypes_h.5.res.oracle
inttypes_h.6.res.oracle
inttypes_h.7.res.oracle
inttypes_h2.res.oracle
libgen_h.res.oracle
limits_h.0.res.oracle
limits_h.1.res.oracle
limits_h.2.res.oracle
limits_h.3.res.oracle
limits_h.4.res.oracle
limits_h.5.res.oracle
limits_h.6.res.oracle
limits_h.7.res.oracle
math_h.res.oracle
more_gcc_builtins.res.oracle
netdb_c.res.oracle
netinet_in_h.res.oracle
poll.res.oracle
pwd_h.res.oracle
runtime.res.oracle
signal_h.res.oracle
socket.0.res.oracle
socket.1.res.oracle
socket_h.res.oracle
stdint_h.res.oracle
stdio_c.res.oracle
stdio_h.res.oracle
stdlib_c.0.res.oracle
stdlib_c.1.res.oracle
stdlib_c.2.res.oracle
stdlib_c_env.res.oracle
stdlib_h.res.oracle
string_c.res.oracle
string_c_generic.res.oracle
string_c_strchr.res.oracle
string_c_strstr.res.oracle
string_h.res.oracle
strings_h.res.oracle
sys_file_h.res.oracle
sys_select.res.oracle
sys_stat_h.res.oracle
sys_time.res.oracle
sys_times.res.oracle
sys_wait_h.res.oracle
termios.res.oracle
time_c.res.oracle
time_h.res.oracle
time_misc.res.oracle
unistd_h.0.res.oracle
unistd_h.1.res.oracle
wchar_c_h.0.res.oracle
wchar_c_h.1.res.oracle
wchar_h.res.oracle