Skip to content
Snippets Groups Projects
user avatar
Andre Maroneze authored
Note: trying to compile the initializer with gcc/CompCert likely results in
'no space left on device'. Clang 12 reports an unexpected warning
("initializer overrides prior initialization of this subobject"), and some
tests indicate it actually replaces index 72057594037927936 with 0, which would
explain why it compiles. Removing a digit from the index, for instance, results
in a similar issue as GCC/CompCert (except that Clang starts consuming all RAM
instead of simply disk space).
0a7b6097
History
Name Last commit Last update
..
Refresh_visitor.res.oracle
access_volatile_bts1589.res.oracle
add_allocates.res.oracle
aggressive_merging_1.res.oracle
alloc_order.res.oracle
anon_enum_libc.res.oracle
anonymous_comp_init.res.oracle
arg_type.res.oracle
array_cast_bts1099.res.oracle
array_formals.res.oracle
array_size.res.oracle
array_size_float.res.oracle
asm_goto.res.oracle
asm_with_contracts.res.oracle
assembly_gmp.0.res.oracle
assembly_gmp.1.res.oracle
assembly_gmp.2.res.oracle
assert_location.res.oracle
ast_init.res.oracle
attributes-declarations-definitions.res.oracle
axiomatic_nested.res.oracle
bad_return_bts_599.res.oracle
basic_asm.res.oracle
bts0323.res.oracle
bts0442-2.res.oracle
bts0442.res.oracle
bts0519.0.res.oracle
bts0519.1.res.oracle
bts0577.res.oracle
bts0588.res.oracle
bts0672_link.0.res.oracle
bts0672_link.1.res.oracle
bts0769.res.oracle
bts0916.res.oracle
bts1553.res.oracle
bts1553_2.res.oracle
bts59.res.oracle
built.res.oracle
builtin_constant_p.res.oracle
c11-keywords.0.res.oracle
c11-keywords.1.res.oracle
c11-keywords.2.res.oracle
c11-keywords.3.res.oracle
c11-keywords.4.res.oracle
cert-dcl-36.res.oracle
cert_exp10.res.oracle
cert_exp46.res.oracle
cert_msc_38.0.res.oracle
cert_msc_38.1.res.oracle
cert_msc_38.2.res.oracle
cert_msc_38.3.res.oracle
cert_msc_38.4.res.oracle
cert_msc_38.5.res.oracle
cert_msc_38.6.res.oracle
cert_msc_38.7.res.oracle
char_is_unsigned.res.oracle
check_builtin_bts1440.res.oracle
clone_test.res.oracle
compile_constant.res.oracle
composite-tags.res.oracle
compound-literal.res.oracle
const-assignments.0.res.oracle
const-assignments.1.res.oracle
const-assignments.2.res.oracle
const-assignments.3.res.oracle
const-assignments.4.res.oracle
const-assignments.5.res.oracle
const-assignments.6.res.oracle
const-assignments.7.res.oracle
const-assignments.8.res.oracle
const-assignments.9.res.oracle
const_formals.res.oracle
constfold.res.oracle
copy_logic.res.oracle
copy_visitor.res.oracle
copy_visitor_bts_1073.0.res.oracle
copy_visitor_bts_1073.1.res.oracle
cpp-command.0.res.oracle
cpp-command.1.res.oracle
cpp-command.2.res.oracle
cpp-command.3.res.oracle
cpp-command.4.res.oracle
cpp-command.5.res.oracle
dangerous_expressions.res.oracle
dangling_else.res.oracle
dangling_reference_bts1475.res.oracle
decay.res.oracle
decl-function.res.oracle
define_string_logic_pp_bts2101.res.oracle
designated_init_pretty_print_bts1457.res.oracle
dowhilezero.res.oracle
duplicate_field.res.oracle
duplicated_global_bts1129.res.oracle
empty_initializer.res.oracle
enum1.res.oracle
enum_call.res.oracle
enum_repr.0.res.oracle
enum_repr.1.res.oracle
enum_repr.2.res.oracle
enum_size_array.res.oracle