 |
|
|
|
.. (parent) |
 |
- |
rw-r--r-- |
1,510 |
Refresh_visitor.res.oracle
|
|
- |
rw-r--r-- |
383 |
access_volatile_bts1589.res.oracle
|
|
- |
rw-r--r-- |
533 |
add_allocates.res.oracle
|
|
- |
rw-r--r-- |
264 |
aggressive_merging_1.res.oracle
|
|
- |
rw-r--r-- |
370 |
alloc_order.res.oracle
|
|
- |
rw-r--r-- |
482 |
anon_enum_libc.res.oracle
|
|
- |
rw-r--r-- |
2,872 |
anonymous_comp_init.res.oracle
|
|
- |
rw-r--r-- |
382 |
arg_type.res.oracle
|
|
- |
rw-r--r-- |
367 |
array_cast_bts1099.res.oracle
|
|
- |
rw-r--r-- |
574 |
array_formals.res.oracle
|
|
- |
rw-r--r-- |
228 |
array_size.res.oracle
|
|
- |
rw-r--r-- |
526 |
array_size_float.res.oracle
|
|
- |
rw-r--r-- |
524 |
asm_goto.res.oracle
|
|
- |
rw-r--r-- |
1,235 |
asm_with_contracts.res.oracle
|
|
- |
rw-r--r-- |
4,143 |
assembly_gmp.0.res.oracle
|
|
- |
rw-r--r-- |
3,711 |
assembly_gmp.1.res.oracle
|
|
- |
rw-r--r-- |
3,703 |
assembly_gmp.2.res.oracle
|
|
- |
rw-r--r-- |
424 |
assert_location.res.oracle
|
|
- |
rw-r--r-- |
1,941 |
ast_diff_1.res.oracle
|
|
- |
rw-r--r-- |
139 |
ast_init.res.oracle
|
|
- |
rw-r--r-- |
1,863 |
attributes-declarations-definitions.0.res.oracle
|
|
- |
rw-r--r-- |
679 |
attributes-declarations-definitions.1.res.oracle
|
|
- |
rw-r--r-- |
365 |
axiomatic_nested.res.oracle
|
|
- |
rw-r--r-- |
396 |
bad_return_bts_599.res.oracle
|
|
- |
rw-r--r-- |
305 |
basic_asm.res.oracle
|
|
- |
rw-r--r-- |
258 |
bts0323.res.oracle
|
|
- |
rw-r--r-- |
329 |
bts0442-2.res.oracle
|
|
- |
rw-r--r-- |
329 |
bts0442.res.oracle
|
|
- |
rw-r--r-- |
229 |
bts0519.0.res.oracle
|
|
- |
rw-r--r-- |
329 |
bts0519.1.res.oracle
|
|
- |
rw-r--r-- |
303 |
bts0577.res.oracle
|
|
- |
rw-r--r-- |
210 |
bts0588.res.oracle
|
|
- |
rw-r--r-- |
646 |
bts0672_link.0.res.oracle
|
|
- |
rw-r--r-- |
496 |
bts0672_link.1.res.oracle
|
|
- |
rw-r--r-- |
331 |
bts0769.res.oracle
|
|
- |
rw-r--r-- |
770 |
bts0916.res.oracle
|
|
- |
rw-r--r-- |
420 |
bts1553.res.oracle
|
|
- |
rw-r--r-- |
2,798 |
bts1553_2.res.oracle
|
|
- |
rw-r--r-- |
245 |
bts59.res.oracle
|
|
- |
rw-r--r-- |
622 |
built.res.oracle
|
|
- |
rw-r--r-- |
165 |
builtin_constant_p.res.oracle
|
|
- |
rw-r--r-- |
311 |
c11-keywords.0.res.oracle
|
|
- |
rw-r--r-- |
311 |
c11-keywords.1.res.oracle
|
|
- |
rw-r--r-- |
311 |
c11-keywords.2.res.oracle
|
|
- |
rw-r--r-- |
311 |
c11-keywords.3.res.oracle
|
|
- |
rw-r--r-- |
313 |
c11-keywords.4.res.oracle
|
|
- |
rw-r--r-- |
470 |
cert-dcl-36.res.oracle
|
|
- |
rw-r--r-- |
521 |
cert_exp10.res.oracle
|
|
- |
rw-r--r-- |
3,172 |
cert_exp46.res.oracle
|
|
- |
rw-r--r-- |
441 |
cert_msc_38.0.res.oracle
|
|
- |
rw-r--r-- |
415 |
cert_msc_38.1.res.oracle
|
|
- |
rw-r--r-- |
426 |
cert_msc_38.2.res.oracle
|
|
- |
rw-r--r-- |
445 |
cert_msc_38.3.res.oracle
|
|
- |
rw-r--r-- |
443 |
cert_msc_38.4.res.oracle
|
|
- |
rw-r--r-- |
441 |
cert_msc_38.5.res.oracle
|
|
- |
rw-r--r-- |
441 |
cert_msc_38.6.res.oracle
|
|
- |
rw-r--r-- |
352 |
cert_msc_38.7.res.oracle
|
|
- |
rw-r--r-- |
388 |
char_is_unsigned.res.oracle
|
|
- |
rw-r--r-- |
35,094 |
check_builtin_bts1440.res.oracle
|
|
- |
rw-r--r-- |
560 |
clone_test.res.oracle
|
|
- |
rw-r--r-- |
290 |
compile_constant.res.oracle
|
|
- |
rw-r--r-- |
1,187 |
compiler_builtins.0.res.oracle
|
|
- |
rw-r--r-- |
948 |
compiler_builtins.1.res.oracle
|
|
- |
rw-r--r-- |
1,336 |
compiler_builtins.2.res.oracle
|
|
- |
rw-r--r-- |
479 |
composite-tags.res.oracle
|
|
- |
rw-r--r-- |
366 |
compound-literal.res.oracle
|
|
- |
rw-r--r-- |
464 |
const-assignments.0.res.oracle
|
|
- |
rw-r--r-- |
322 |
const-assignments.1.res.oracle
|
|
- |
rw-r--r-- |
322 |
const-assignments.2.res.oracle
|
|
- |
rw-r--r-- |
322 |
const-assignments.3.res.oracle
|
|
- |
rw-r--r-- |
322 |
const-assignments.4.res.oracle
|
|
- |
rw-r--r-- |
324 |
const-assignments.5.res.oracle
|
|
- |
rw-r--r-- |
325 |
const-assignments.6.res.oracle
|
|
- |
rw-r--r-- |
648 |
const-assignments.7.res.oracle
|
|
- |
rw-r--r-- |
656 |
const-assignments.8.res.oracle
|
|
- |
rw-r--r-- |
328 |
const-assignments.9.res.oracle
|
|
- |
rw-r--r-- |
1,604 |
const_formals.res.oracle
|
|
- |
rw-r--r-- |
200 |
constfold.res.oracle
|
|
- |
rw-r--r-- |
2,335 |
copy_logic.res.oracle
|
|
- |
rw-r--r-- |
1,240 |
copy_visitor.res.oracle
|
|
- |
rw-r--r-- |
2,538 |
copy_visitor_bts_1073.0.res.oracle
|
|
- |
rw-r--r-- |
2,243 |
copy_visitor_bts_1073.1.res.oracle
|
|
- |
rw-r--r-- |
239 |
cpp-command.0.res.oracle
|
|
- |
rw-r--r-- |
167 |
cpp-command.1.res.oracle
|
|
- |
rw-r--r-- |
92 |
cpp-command.2.res.oracle
|
|
- |
rw-r--r-- |
91 |
cpp-command.3.res.oracle
|
|
- |
rw-r--r-- |
152 |
cpp-command.4.res.oracle
|
|
- |
rw-r--r-- |
335 |
cpp-command.5.res.oracle
|
|
- |
rw-r--r-- |
826 |
cpp-command.6.res.oracle
|
|
- |
rw-r--r-- |
478 |
dangerous_expressions.res.oracle
|
|
- |
rw-r--r-- |
536 |
dangling_else.res.oracle
|
|
- |
rw-r--r-- |
237 |
dangling_reference_bts1475.res.oracle
|
|
- |
rw-r--r-- |
649 |
decay.res.oracle
|
|
- |
rw-r--r-- |
474 |
decl-function.res.oracle
|
|
- |
rw-r--r-- |
609 |
define_string_logic_pp_bts2101.res.oracle
|
|
- |
rw-r--r-- |
229 |
designated_init_pretty_print_bts1457.res.oracle
|
|
- |
rw-r--r-- |
831 |
dowhilezero.res.oracle
|
|
- |
rw-r--r-- |
310 |
duplicate_field.res.oracle
|
|
- |
rw-r--r-- |
205 |
duplicated_global_bts1129.res.oracle
|
|
- |
rw-r--r-- |
444 |
empty_initializer.res.oracle
|
|
- |
rw-r--r-- |
1,199 |
enum1.res.oracle
|
|
- |
rw-r--r-- |
274 |
enum_call.res.oracle
|
|
- |
rw-r--r-- |
3,459 |
enum_repr.0.res.oracle
|
|
- |
rw-r--r-- |
3,655 |
enum_repr.1.res.oracle
|
|
- |
rw-r--r-- |
3,590 |
enum_repr.2.res.oracle
|
|
- |
rw-r--r-- |
254 |
enum_size_array.res.oracle
|
|
- |
rw-r--r-- |
150 |
erased_label_bts1502.res.oracle
|
|
- |
rw-r--r-- |
633 |
exit.res.oracle
|
|
- |
rw-r--r-- |
1,374 |
extern_init.0.res.oracle
|
|
- |
rw-r--r-- |
1,374 |
extern_init.1.res.oracle
|
|
- |
rw-r--r-- |
149 |
extinline.res.oracle
|
|
- |
rw-r--r-- |
806 |
fam.res.oracle
|
|
- |
rw-r--r-- |
327 |
fc_filename.res.oracle
|
|
- |
rw-r--r-- |
724 |
fct_ptr.res.oracle
|
|
- |
rw-r--r-- |
591 |
field-offsets.res.oracle
|
|
- |
rw-r--r-- |
298 |
flexible_array_member.res.oracle
|
|
- |
rw-r--r-- |
347 |
flexible_array_member_invalid1.res.oracle
|
|
- |
rw-r--r-- |
319 |
flexible_array_member_invalid2.res.oracle
|
|
- |
rw-r--r-- |
320 |
flexible_array_member_invalid3.res.oracle
|
|
- |
rw-r--r-- |
319 |
flexible_array_member_invalid4.res.oracle
|
|
- |
rw-r--r-- |
455 |
flexible_array_member_invalid5.res.oracle
|
|
- |
rw-r--r-- |
197 |
float.res.oracle
|
|
- |
rw-r--r-- |
223 |
foo%22.res.oracle
|
|
- |
rw-r--r-- |
697 |
for_unspecified_seq_in_inc.res.oracle
|
|
- |
rw-r--r-- |
121 |
forloophook.res.oracle
|
|
- |
rw-r--r-- |
230 |
formals_decl_leak.res.oracle
|
|
- |
rw-r--r-- |
543 |
func_locs.res.oracle
|
|
- |
rw-r--r-- |
328 |
func_spec_merge.res.oracle
|
|
- |
rw-r--r-- |
529 |
function-types-compatible.res.oracle
|
|
- |
rw-r--r-- |
12,617 |
gcc_builtins.res.oracle
|
|
- |
rw-r--r-- |
415 |
get_astinfo_bts1136.res.oracle
|
|
- |
rw-r--r-- |
5,718 |
ghost_cv_incompat.res.oracle
|
|
- |
rw-r--r-- |
3,896 |
ghost_cv_invalid_use.res.oracle
|
|
- |
rw-r--r-- |
367 |
ghost_cv_parsing_errors.0.res.oracle
|
|
- |
rw-r--r-- |
370 |
ghost_cv_parsing_errors.1.res.oracle
|
|
- |
rw-r--r-- |
364 |
ghost_cv_parsing_errors.2.res.oracle
|
|
- |
rw-r--r-- |
967 |
ghost_cv_valid_ref.res.oracle
|
|
- |
rw-r--r-- |
3,911 |
ghost_cv_valid_use.res.oracle
|
|
- |
rw-r--r-- |
1,965 |
ghost_cv_var_decl.0.res.oracle
|
|
- |
rw-r--r-- |
8,850 |
ghost_cv_var_decl.1.res.oracle
|
|
- |
rw-r--r-- |
2,206 |
ghost_else.res.oracle
|
|
- |
rw-r--r-- |
297 |
ghost_else_bad.0.res.oracle
|
|
- |
rw-r--r-- |
240 |
ghost_else_bad.1.res.oracle
|
|
- |
rw-r--r-- |
358 |
ghost_else_bad.2.res.oracle
|
|
- |
rw-r--r-- |
381 |
ghost_else_bad_oneline.res.oracle
|
|
- |
rw-r--r-- |
258 |
ghost_func_ptr.res.oracle
|
|
- |
rw-r--r-- |
477 |
ghost_lexing.res.oracle
|
|
- |
rw-r--r-- |
690 |
ghost_local_capture.res.oracle
|
|
- |
rw-r--r-- |
494 |
ghost_local_ill_formed.res.oracle
|
|
- |
rw-r--r-- |
337 |
ghost_multiline_annot.0.res.oracle
|
|
- |
rw-r--r-- |
506 |
ghost_multiline_annot.1.res.oracle
|
|
- |
rw-r--r-- |
379 |
ghost_multiline_annot.2.res.oracle
|
|
- |
rw-r--r-- |
352 |
ghost_multiline_annot.3.res.oracle
|
|
- |
rw-r--r-- |
387 |
ghost_multiline_annot.4.res.oracle
|
|
- |
rw-r--r-- |
387 |
ghost_multiline_annot.5.res.oracle
|
|
- |
rw-r--r-- |
298 |
ghost_multiline_annot.6.res.oracle
|
|
- |
rw-r--r-- |
345 |
ghost_multiline_annot.7.res.oracle
|
|
- |
rw-r--r-- |
345 |
ghost_multiline_annot.8.res.oracle
|
|
- |
rw-r--r-- |
1,117 |
ghost_parameters.0.res.oracle
|
|
- |
rw-r--r-- |
1,031 |
ghost_parameters.1.res.oracle
|
|
- |
rw-r--r-- |
639 |
ghost_parameters.10.res.oracle
|
|
- |
rw-r--r-- |
401 |
ghost_parameters.11.res.oracle
|
|
- |
rw-r--r-- |
403 |
ghost_parameters.12.res.oracle
|
|
- |
rw-r--r-- |
283 |
ghost_parameters.2.res.oracle
|
|
- |
rw-r--r-- |
636 |
ghost_parameters.3.res.oracle
|
|
- |
rw-r--r-- |
639 |
ghost_parameters.4.res.oracle
|
|
- |
rw-r--r-- |
645 |
ghost_parameters.5.res.oracle
|
|
- |
rw-r--r-- |
645 |
ghost_parameters.6.res.oracle
|
|
- |
rw-r--r-- |
639 |
ghost_parameters.7.res.oracle
|
|
- |
rw-r--r-- |
639 |
ghost_parameters.8.res.oracle
|
|
- |
rw-r--r-- |
639 |
ghost_parameters.9.res.oracle
|
|
- |
rw-r--r-- |
1,018 |
ghost_parameters_formals_status.res.oracle
|
|
- |
rw-r--r-- |
1,369 |
ghost_parameters_side_effect_arg.res.oracle
|
|
- |
rw-r--r-- |
5,448 |
gnu-asm-aesni.res.oracle
|
|
- |
rw-r--r-- |
395 |
implicit_args_bts1267.res.oracle
|
|
- |
rw-r--r-- |
1,848 |
incompatible_qualifiers.0.res.oracle
|
|
- |
rw-r--r-- |
1,099 |
incompatible_qualifiers.1.res.oracle
|
|
- |
rw-r--r-- |
275 |
incomplete_array.res.oracle
|
|
- |
rw-r--r-- |
484 |
incomplete_struct_field.res.oracle
|
|
- |
rw-r--r-- |
496 |
inconsistent_decl.0.res.oracle
|
|
- |
rw-r--r-- |
531 |
inconsistent_decl.1.res.oracle
|
|
- |
rw-r--r-- |
597 |
inconsistent_global_ghost_spec.0.res.oracle
|
|
- |
rw-r--r-- |
584 |
inconsistent_global_ghost_spec.1.res.oracle
|
|
- |
rw-r--r-- |
583 |
inconsistent_global_ghost_spec.2.res.oracle
|
|
- |
rw-r--r-- |
596 |
inconsistent_global_ghost_spec.3.res.oracle
|
|
- |
rw-r--r-- |
428 |
init_bts1352.res.oracle
|
|
- |
rw-r--r-- |
1,565 |
initializer.res.oracle
|
|
- |
rw-r--r-- |
315 |
initializers.res.oracle
|
|
- |
rw-r--r-- |
7,281 |
inline_calls.0.res.oracle
|
|
- |
rw-r--r-- |
2,082 |
inline_calls.1.res.oracle
|
|
- |
rw-r--r-- |
1,984 |
inline_calls.2.res.oracle
|
|
- |
rw-r--r-- |
942 |
inline_def_1.res.oracle
|
|
- |
rw-r--r-- |
466 |
inline_def_bad_1.res.oracle
|
|
- |
rw-r--r-- |
782 |
inserted_casts.0.res.oracle
|
|
- |
rw-r--r-- |
782 |
inserted_casts.1.res.oracle
|
|
- |
rw-r--r-- |
282 |
invalid_constant.res.oracle
|
|
- |
rw-r--r-- |
250 |
keep.res.oracle
|
|
- |
rw-r--r-- |
506 |
keep_logical_operators.res.oracle
|
|
- |
rw-r--r-- |
784 |
label_decl.res.oracle
|
|
- |
rw-r--r-- |
116 |
libc_defs.res.oracle
|
|
- |
rw-r--r-- |
263 |
line_number.res.oracle
|
|
- |
rw-r--r-- |
431 |
literal-question-no-trigraph.0.res.oracle
|
|
- |
rw-r--r-- |
418 |
literal-question-no-trigraph.1.res.oracle
|
|
- |
rw-r--r-- |
55 |
local-init-const.res.oracle
|
|
- |
rw-r--r-- |
547 |
local-variable.res.oracle
|
|
- |
rw-r--r-- |
345 |
local_uninitialized_bts_1081.res.oracle
|
|
- |
rw-r--r-- |
66 |
logic_env.res.oracle
|
|
- |
rw-r--r-- |
7,281 |
loop-case-switch-for-unroll.0.res.oracle
|
|
- |
rw-r--r-- |
10,202 |
loop-case-switch-for-unroll.1.res.oracle
|
|
- |
rw-r--r-- |
14,940 |
loop-case-switch-for-unroll.2.res.oracle
|
|
- |
rw-r--r-- |
246 |
loop_annot.0.res.oracle
|
|
- |
rw-r--r-- |
246 |
loop_annot.1.res.oracle
|
|
- |
rw-r--r-- |
225 |
lvalvoid.res.oracle
|
|
- |
rw-r--r-- |
561 |
macro_escape_chars.res.oracle
|
|
- |
rw-r--r-- |
731 |
merge_attrs_align.0.res.oracle
|
|
- |
rw-r--r-- |
769 |
merge_attrs_align.1.res.oracle
|
|
- |
rw-r--r-- |
515 |
merge_attrs_align.2.res.oracle
|
|
- |
rw-r--r-- |
499 |
merge_attrs_align.3.res.oracle
|
|
- |
rw-r--r-- |
811 |
merge_attrs_align.4.res.oracle
|
|
- |
rw-r--r-- |
871 |
merge_attrs_align.5.res.oracle
|
|
- |
rw-r--r-- |
310 |
merge_bts0948.res.oracle
|
|
- |
rw-r--r-- |
530 |
merge_inline_1.res.oracle
|
|
- |
rw-r--r-- |
227 |
merge_loc.res.oracle
|
|
- |
rw-r--r-- |
1,404 |
merge_union.0.res.oracle
|
|
- |
rw-r--r-- |
750 |
merge_union.1.res.oracle
|
|
- |
rw-r--r-- |
1,172 |
merge_unused.res.oracle
|
|
- |
rw-r--r-- |
986 |
merge_variadic.res.oracle
|
|
- |
rw-r--r-- |
241 |
multiline_macro.res.oracle
|
|
- |
rw-r--r-- |
166 |
multiple_assigns.res.oracle
|
|
- |
rw-r--r-- |
479 |
multiple_decls_contracts.0.res.oracle
|
|
- |
rw-r--r-- |
479 |
multiple_decls_contracts.1.res.oracle
|
|
- |
rw-r--r-- |
479 |
multiple_decls_contracts.2.res.oracle
|
|
- |
rw-r--r-- |
517 |
multiple_froms.res.oracle
|
|
- |
rw-r--r-- |
402 |
mutable_test.res.oracle
|
|
- |
rw-r--r-- |
717 |
mutually_recursive_struct.res.oracle
|
|
- |
rw-r--r-- |
132 |
no-print-libc-reparse.res.oracle
|
|
- |
rw-r--r-- |
487 |
no_prototype.res.oracle
|
|
- |
rw-r--r-- |
340 |
noret.res.oracle
|
|
- |
rw-r--r-- |
150 |
offset.res.oracle
|
|
- |
rw-r--r-- |
150 |
offsetof.res.oracle
|
|
- |
rw-r--r-- |
607 |
one_ret_assert.res.oracle
|
|
- |
rw-r--r-- |
355 |
orig_name.res.oracle
|
|
- |
rw-r--r-- |
261 |
osx_attribute.res.oracle
|
|
- |
rw-r--r-- |
246 |
pragma.res.oracle
|
|
- |
rw-r--r-- |
162 |
preprocessed.res.oracle
|
|
- |
rw-r--r-- |
508 |
ptr_null_cmp_bts1027.res.oracle
|
|
- |
rw-r--r-- |
941 |
reject_use_decl_mismatch_bts728.0.res.oracle
|
|
- |
rw-r--r-- |
906 |
reject_use_decl_mismatch_bts728.1.res.oracle
|
|
- |
rw-r--r-- |
1,332 |
rename.res.oracle
|
|
- |
rw-r--r-- |
698 |
reorder.res.oracle
|
|
- |
rw-r--r-- |
423 |
rettype.res.oracle
|
|
- |
rw-r--r-- |
162 |
rmtmps_static.res.oracle
|
|
- |
rw-r--r-- |
189 |
signal.res.oracle
|
|
- |
rw-r--r-- |
200 |
simp_switch.res.oracle
|
|
- |
rw-r--r-- |
710 |
sizeof_bts1414.res.oracle
|
|
- |
rw-r--r-- |
344 |
sizeof_incomplete_type.res.oracle
|
|
- |
rw-r--r-- |
964 |
sizeof_void.0.res.oracle
|
|
- |
rw-r--r-- |
553 |
sizeof_void.1.res.oracle
|
|
- |
rw-r--r-- |
236 |
slash_end.res.oracle
|
|
- |
rw-r--r-- |
319 |
spurious_brace_bts_1273.res.oracle
|
|
- |
rw-r--r-- |
152 |
static_assert.0.res.oracle
|
|
- |
rw-r--r-- |
568 |
static_assert.1.res.oracle
|
|
- |
rw-r--r-- |
578 |
static_formals_1.res.oracle
|
|
- |
rw-r--r-- |
1,406 |
string_concat.res.oracle
|
|
- |
rw-r--r-- |
426 |
struct_copy.res.oracle
|
|
- |
rw-r--r-- |
419 |
struct_linking.res.oracle
|
|
- |
rw-r--r-- |
94 |
struct_with_invalid_field.0.res.oracle
|
|
- |
rw-r--r-- |
340 |
struct_with_invalid_field.1.res.oracle
|
|
- |
rw-r--r-- |
336 |
struct_with_invalid_field.2.res.oracle
|
|
- |
rw-r--r-- |
345 |
struct_with_invalid_field.3.res.oracle
|
|
- |
rw-r--r-- |
342 |
struct_with_invalid_field.4.res.oracle
|
|
- |
rw-r--r-- |
565 |
switch-default.res.oracle
|
|
- |
rw-r--r-- |
2,535 |
syntactic_hook.res.oracle
|
|
- |
rw-r--r-- |
1,221 |
temporary_location.res.oracle
|
|
- |
rw-r--r-- |
197 |
tentative_definition.0.res.oracle
|
|
- |
rw-r--r-- |
201 |
tentative_definition.1.res.oracle
|
|
- |
rw-r--r-- |
205 |
tentative_definition.2.res.oracle
|
|
- |
rw-r--r-- |
201 |
tentative_definition.3.res.oracle
|
|
- |
rw-r--r-- |
193 |
tentative_definition.4.res.oracle
|
|
- |
rw-r--r-- |
384 |
tentative_definition.5.res.oracle
|
|
- |
rw-r--r-- |
384 |
tentative_definition.6.res.oracle
|
|
- |
rw-r--r-- |
384 |
tentative_definition.7.res.oracle
|
|
- |
rw-r--r-- |
384 |
tentative_definition.8.res.oracle
|
|
- |
rw-r--r-- |
384 |
tentative_definition.9.res.oracle
|
|
- |
rw-r--r-- |
324 |
ternary_brace.res.oracle
|
|
- |
rw-r--r-- |
150 |
ternary_bts1503.res.oracle
|
|
- |
rw-r--r-- |
848 |
thread.res.oracle
|
|
- |
rw-r--r-- |
544 |
transient_block.res.oracle
|
|
- |
rw-r--r-- |
286 |
type_branch_bts_1081.res.oracle
|
|
- |
rw-r--r-- |
1,113 |
type_compat_call.res.oracle
|
|
- |
rw-r--r-- |
4,248 |
type_redef.0.res.oracle
|
|
- |
rw-r--r-- |
3,569 |
type_redef.1.res.oracle
|
|
- |
rw-r--r-- |
327 |
typedef_multi_1.res.oracle
|
|
- |
rw-r--r-- |
293 |
typedef_namespace_bts1500.0.res.oracle
|
|
- |
rw-r--r-- |
447 |
typedef_namespace_bts1500.1.res.oracle
|
|
- |
rw-r--r-- |
430 |
typedef_namespace_bts1500.2.res.oracle
|
|
- |
rw-r--r-- |
466 |
typedef_struct.res.oracle
|
|
- |
rw-r--r-- |
232 |
typeof.res.oracle
|
|
- |
rw-r--r-- |
1,485 |
undeclared_local_bts1113.res.oracle
|
|
- |
rw-r--r-- |
3,402 |
undeclared_local_bts1126.res.oracle
|
|
- |
rw-r--r-- |
58 |
unnamed_bitfields.0.res.oracle
|
|
- |
rw-r--r-- |
331 |
unnamed_bitfields.1.res.oracle
|
|
- |
rw-r--r-- |
3,982 |
unroll_const.res.oracle
|
|
- |
rw-r--r-- |
11,827 |
unroll_labels.0.res.oracle
|
|
- |
rw-r--r-- |
11,587 |
unroll_labels.1.res.oracle
|
|
- |
rw-r--r-- |
295 |
unroll_property_status_bts1442.0.res.oracle
|
|
- |
rw-r--r-- |
295 |
unroll_property_status_bts1442.1.res.oracle
|
|
- |
rw-r--r-- |
1,508 |
unroll_visit.res.oracle
|
|
- |
rw-r--r-- |
623 |
unspecified_access_address.res.oracle
|
|
- |
rw-r--r-- |
882 |
unspecified_access_call_bts0888.res.oracle
|
|
- |
rw-r--r-- |
266 |
unspecified_access_if_bts01114.res.oracle
|
|
- |
rw-r--r-- |
558 |
unspecified_access_ptr_bts1519.res.oracle
|
|
- |
rw-r--r-- |
337 |
unspecified_access_struct.res.oracle
|
|
- |
rw-r--r-- |
546 |
va.res.oracle
|
|
- |
rw-r--r-- |
1,320 |
variadic.res.oracle
|
|
- |
rw-r--r-- |
752 |
vdefined_bts1241.res.oracle
|
|
- |
rw-r--r-- |
832 |
vdescr_bts1387.res.oracle
|
|
- |
rw-r--r-- |
470 |
very_large_integers.0.res.oracle
|
|
- |
rw-r--r-- |
750 |
very_large_integers.1.res.oracle
|
|
- |
rw-r--r-- |
655 |
very_large_integers.10.res.oracle
|
|
- |
rw-r--r-- |
1,993 |
very_large_integers.11.res.oracle
|
|
- |
rw-r--r-- |
650 |
very_large_integers.12.res.oracle
|
|
- |
rw-r--r-- |
641 |
very_large_integers.13.res.oracle
|
|
- |
rw-r--r-- |
640 |
very_large_integers.14.res.oracle
|
|
- |
rw-r--r-- |
653 |
very_large_integers.15.res.oracle
|
|
- |
rw-r--r-- |
652 |
very_large_integers.16.res.oracle
|
|
- |
rw-r--r-- |
733 |
very_large_integers.17.res.oracle
|
|
- |
rw-r--r-- |
444 |
very_large_integers.2.res.oracle
|
|
- |
rw-r--r-- |
304 |
very_large_integers.3.res.oracle
|
|
- |
rw-r--r-- |
368 |
very_large_integers.4.res.oracle
|
|
- |
rw-r--r-- |
502 |
very_large_integers.5.res.oracle
|
|
- |
rw-r--r-- |
573 |
very_large_integers.6.res.oracle
|
|
- |
rw-r--r-- |
305 |
very_large_integers.7.res.oracle
|
|
- |
rw-r--r-- |
646 |
very_large_integers.8.res.oracle
|
|
- |
rw-r--r-- |
625 |
very_large_integers.9.res.oracle
|
|
- |
rw-r--r-- |
175 |
visit_create_local.res.oracle
|
|
- |
rw-r--r-- |
228 |
vla_goto.res.oracle
|
|
- |
rw-r--r-- |
1,415 |
vla_goto2.res.oracle
|
|
- |
rw-r--r-- |
231 |
vla_goto3.res.oracle
|
|
- |
rw-r--r-- |
1,518 |
vla_goto_same_block_above.res.oracle
|
|
- |
rw-r--r-- |
280 |
vla_goto_same_block_below.res.oracle
|
|
- |
rw-r--r-- |
3,007 |
vla_loop.res.oracle
|
|
- |
rw-r--r-- |
911 |
vla_multidim.0.res.oracle
|
|
- |
rw-r--r-- |
705 |
vla_multidim.1.res.oracle
|
|
- |
rw-r--r-- |
873 |
vla_strlen.res.oracle
|
|
- |
rw-r--r-- |
347 |
vla_switch.res.oracle
|
|
- |
rw-r--r-- |
885 |
void_parameter.res.oracle
|
|
- |
rw-r--r-- |
1,344 |
volatile_clause.res.oracle
|
|
- |
rw-r--r-- |
240 |
wrong-assignment.res.oracle
|
|
- |
rw-r--r-- |
377 |
wrong_label.res.oracle
|
|
- |
rw-r--r-- |
1,407 |
wstring_concat.res.oracle
|
