Test regression

[jprider63]

No description provided.

[github-actions]

Benchmark comparison for ed621dc7 (PR) vs 84c1e0f6 (baseline).

Warning: Performance degradations: ./cn/copy_alloc_id.c
Added benchmarks: ./cn/int_to_ptr.c, ./cn/ptr_relop.error.c, ./cn/null_to_int.c, ./cn/copy_alloc_id2.error.c, ./cn/int_to_ptr.error.c, ./cn/ptr_relop.c

Benchmark comparison

Benchmark name	Baseline time (s)	New time (s)	Difference (s)
Total benchmark time	61.43	61.8	+0.37 (+0.60%)
./cn/unsupported_union.error.c	0.02	0.02	+0.00 (+0.00%)
./cn/duplicate_pattern_var.error.c	0.02	0.02	+0.00 (+0.00%)
./cn/block_type.c	0.08	0.09	+0.01 (+12.50%)
./cn/gnu_ffs.c	0.1	0.1	+0.00 (+0.00%)
./cn/implies2.error.c	0.08	0.08	+0.00 (+0.00%)
./cn/extract_verbose.c	0.11	0.11	+0.00 (+0.00%)
./cn/builtin_ctz.c	0.37	0.37	+0.00 (+0.00%)
./cn/disj_nonnull.c	0.32	0.32	+0.00 (+0.00%)
./cn/gnu_types_compatible.c	0.11	0.11	+0.00 (+0.00%)
./cn/assert_on_toplevel.error.c	0.02	0.02	+0.00 (+0.00%)
./cn/redundant_pattern.error.c	0.03	0.03	+0.00 (+0.00%)
./cn/tree16/as_auto_mutual_dt/tree16.error.c	0.02	0.02	+0.00 (+0.00%)
./cn/tree16/as_partial_map/tree16.c	2.51	2.67	+0.16 (+6.37%)
./cn/tree16/as_mutual_dt/tree16.c	8.17	7.62	-0.55 (-6.73%)
./cn/inconsistent3.error.c	0.05	0.04	-0.01 (-20.00%)
./cn/inconsistent2.error.c	0.04	0.04	+0.00 (+0.00%)
./cn/fun_ptr_extern.c	0.48	0.47	-0.01 (-2.08%)
./cn/increments.c	0.19	0.18	-0.01 (-5.26%)
./cn/has_alloc_id_shift.c	0.14	0.13	-0.01 (-7.14%)
./cn/mod_return_sign.error.c	0.04	0.04	+0.00 (+0.00%)
./cn/has_alloc_id_ptr_neq.c	0.14	0.14	+0.00 (+0.00%)
./cn/fun_ptr_three_opts.c	0.8	0.82	+0.02 (+2.50%)
./cn/spec_null_shift.c	0.06	0.06	+0.00 (+0.00%)
./cn/struct_updates.error.c	0.03	0.03	+0.00 (+0.00%)
./cn/has_alloc_id_ptr_eq.error.c	0.1	0.1	+0.00 (+0.00%)
./cn/bad_record.error.c	0.02	0.02	+0.00 (+0.00%)
./cn/bad_record2.error.c	0.02	0.02	+0.00 (+0.00%)
./cn/ptr_diff2.error.c	0.08	0.09	+0.01 (+12.50%)
./cn/ptr_diff.error.c	0.2	0.2	+0.00 (+0.00%)
./cn/bitwise_compl.c	0.07	0.07	+0.00 (+0.00%)
./cn/alloc_token.c	0.06	0.06	+0.00 (+0.00%)
./cn/pointer_to_char_cast.error.c	0.14	0.14	+0.00 (+0.00%)
./cn/implies_precedence.c	0.06	0.06	+0.00 (+0.00%)
./cn/list_literal_type.error.c	0.02	0.02	+0.00 (+0.00%)
./cn/division_casting.c	0.08	0.08	+0.00 (+0.00%)
./cn/unary_negation.c	0.05	0.05	+0.00 (+0.00%)
./cn/reverse.c	0.59	0.58	-0.01 (-1.69%)
./cn/bitwise_compl_type.error.c	0.04	0.04	+0.00 (+0.00%)
./cn/mask_ptr.c	0.16	0.16	+0.00 (+0.00%)
./cn/and_or_precedence.error.c	0.1	0.11	+0.01 (+10.00%)
./cn/division_return_sign.error.c	0.04	0.04	+0.00 (+0.00%)
./cn/get_from_arr.c	0.11	0.11	+0.00 (+0.00%)
./cn/division_precedence.c	0.11	0.11	+0.00 (+0.00%)
./cn/match.c	0.07	0.07	+0.00 (+0.00%)
./cn/max_pipes.error.c	23.45	23.07	-0.38 (-1.62%)
./cn/pred_def03.error.c	0.02	0.02	+0.00 (+0.00%)
./cn/cnfunction_mismatched_args3.error.c	0.03	0.03	+0.00 (+0.00%)
./cn/bad_function_call.error.c	0.03	0.03	+0.00 (+0.00%)
./cn/pred_def02.c	0.05	0.05	+0.00 (+0.00%)
./cn/max_min_consts.c	0.07	0.06	-0.01 (-14.29%)
./cn/enum_and_and.c	0.1	0.1	+0.00 (+0.00%)
./cn/gnu_case_ranges.c	0.09	0.09	+0.00 (+0.00%)
./cn/merging_arrays.error.c	0.16	0.17	+0.01 (+6.25%)
./cn/gnu_choose.c	0.09	0.09	+0.00 (+0.00%)
./cn/simplify_array_shift.c	0.33	0.32	-0.01 (-3.03%)
./cn/bad_recursion.error.c	0.02	0.02	+0.00 (+0.00%)
./cn/split_case.c	0.34	0.33	-0.01 (-2.94%)
./cn/mod.c	0.09	0.09	+0.00 (+0.00%)
./cn/mod_by_0.error.c	0.1	0.1	+0.00 (+0.00%)
./cn/has_alloc_id_ptr_eq2.error.c	0.1	0.1	+0.00 (+0.00%)
./cn/implies3.error.c	0.03	0.03	+0.00 (+0.00%)
./cn/arith_type.error.c	0.03	0.03	+0.00 (+0.00%)
./cn/failing_postcond.error.c	0.08	0.07	-0.01 (-12.50%)
./cn/cnfunction_mismatched_args4.error.c	0.03	0.03	+0.00 (+0.00%)
./cn/simplify_add_0.c	0.15	0.15	+0.00 (+0.00%)
./cn/tree_rev01.c	0.32	0.32	+0.00 (+0.00%)
./cn/b_or.c	0.07	0.07	+0.00 (+0.00%)
./cn/spec_after_curly_brace.error.c	0.02	0.02	+0.00 (+0.00%)
./cn/simple_loop.c	0.07	0.07	+0.00 (+0.00%)
./cn/previously_inconsistent_assumptions1.c	0.05	0.05	+0.00 (+0.00%)
./cn/multifile/f.c	0.45	0.44	-0.01 (-2.22%)
./cn/multifile/g.c	0.32	0.32	+0.00 (+0.00%)
./cn/has_alloc_id_ptr_neq.error.c	0.1	0.1	+0.00 (+0.00%)
./cn/swap_pair.c	0.16	0.15	-0.01 (-6.25%)
./cn/missing_resource_indirect.error.c	0.08	0.07	-0.01 (-12.50%)
./cn/inconsistent.error.c	0.03	0.03	+0.00 (+0.00%)
./cn/ghost_pointer_to_bitvec_cast.c	0.08	0.08	+0.00 (+0.00%)
./cn/pred_def04.c	0.05	0.04	-0.01 (-20.00%)
./cn/division_return_size.error.c	0.34	0.33	-0.01 (-2.94%)
./cn/list_rev01.c	0.35	0.36	+0.01 (+2.86%)
./cn/bitwise_and_type_left.error.c	0.02	0.02	+0.00 (+0.00%)
./cn/append.c	1.71	1.65	-0.06 (-3.51%)
./cn/mod_with_constants.c	0.1	0.09	-0.01 (-10.00%)
./cn/pred_def01.c	0.05	0.05	+0.00 (+0.00%)
./cn/use_typedef.c	0.05	0.05	+0.00 (+0.00%)
./cn/alloc_create.c	0.08	0.07	-0.01 (-12.50%)
./cn/use_enum.c	0.05	0.05	+0.00 (+0.00%)
./cn/cnfunction_mismatched_args2.error.c	0.03	0.03	+0.00 (+0.00%)
./cn/swap.c	0.15	0.15	+0.00 (+0.00%)
./cn/missing_resource.error.c	0.07	0.07	+0.00 (+0.00%)
./cn/bad_col.error.c	0.02	0.02	+0.00 (+0.00%)
./cn/mergesort.c	3.01	2.98	-0.03 (-1.00%)
./cn/cnfunction_mismatched_args1.error.c	0.03	0.03	+0.00 (+0.00%)
./cn/pointer_to_uintptr_t_cast.c	0.06	0.06	+0.00 (+0.00%)
./cn/has_alloc_id.c	0.09	0.1	+0.01 (+11.11%)
./cn/pointer_to_int_cast.error.c	0.06	0.06	+0.00 (+0.00%)
./cn/pointer_to_char_cast.c	0.1	0.09	-0.01 (-10.00%)
./cn/left_shift_const.c	0.1	0.1	+0.00 (+0.00%)
./cn/shift_diff_sz.c	0.08	0.09	+0.01 (+12.50%)
./cn/get_from_array.c	0.4	0.4	+0.00 (+0.00%)
./cn/memcpy.c	0.39	0.39	+0.00 (+0.00%)
./cn/void_star_arg.c	0.26	0.26	+0.00 (+0.00%)
./cn/previously_inconsistent_assumptions2.c	0.06	0.06	+0.00 (+0.00%)
./cn/pointer_to_unsigned_int_cast.error.c	0.07	0.07	+0.00 (+0.00%)
./cn/tag_defs.c	0.06	0.06	+0.00 (+0.00%)
./cn/bitwise_and.c	0.07	0.07	+0.00 (+0.00%)
./cn/duplicate_datatype_var.error.c	0.02	0.02	+0.00 (+0.00%)
./cn/bad_constructor_user.error.c	0.03	0.03	+0.00 (+0.00%)
./cn/bitwise_compl_precedence.c	0.04	0.04	+0.00 (+0.00%)
./cn/forloop_with_decl.c	0.12	0.12	+0.00 (+0.00%)
./cn/incomplete_match.error.c	0.03	0.03	+0.00 (+0.00%)
./cn/has_alloc_id.error.c	0.04	0.04	+0.00 (+0.00%)
./cn/cn_inline.c	0.18	0.19	+0.01 (+5.56%)
./cn/mod_return_size.error.c	2.17	2.21	+0.04 (+1.84%)
./cn/spec_null_shift.error.c	0.07	0.07	+0.00 (+0.00%)
./cn/map_set.error.c	0.02	0.02	+0.00 (+0.00%)
./cn/implies.c	0.07	0.07	+0.00 (+0.00%)
./cn/unsupported_flexible_array_member.error.c	0.02	0.02	+0.00 (+0.00%)
./cn/reverse.error.c	0.78	0.78	+0.00 (+0.00%)
./cn/unary_negation.error.c	0.03	0.03	+0.00 (+0.00%)
./cn/copy_alloc_id.c*	0.11	0.32	+0.21 (+190.91%)
./cn/failing_precond.error.c	0.03	0.03	+0.00 (+0.00%)
./cn/mod_casting.c	0.08	0.08	+0.00 (+0.00%)
./cn/type_synonym.c	0.06	0.06	+0.00 (+0.00%)
./cn/division_by_0.error.c	0.1	0.09	-0.01 (-10.00%)
./cn/magic_comment_not_closed.c	0.04	0.04	+0.00 (+0.00%)
./cn/struct_updates2.error.c	0.02	0.02	+0.00 (+0.00%)
./cn/fun_addrs_cn_stmt.c	0.08	0.09	+0.01 (+12.50%)
./cn/lexer_hack_parse.error.c	0.02	0.02	+0.00 (+0.00%)
./cn/doubling.c	0.09	0.09	+0.00 (+0.00%)
./cn/copy_alloc_id.error.c	0.14	0.13	-0.01 (-7.14%)
./cn/gnu_ctz.c	0.07	0.07	+0.00 (+0.00%)
./cn/pointer_to_intptr_t_cast.c	0.06	0.06	+0.00 (+0.00%)
./cn/division_with_constants.c	0.09	0.1	+0.01 (+11.11%)
./cn/builtin_ctz_val.c	0.14	0.13	-0.01 (-7.14%)
./cn/ptr_diff.c	0.67	0.66	-0.01 (-1.49%)
./cn/ptr_diff2.c	0.08	0.15	+0.07 (+87.50%)
./cn/b_xor.c	0.07	0.07	+0.00 (+0.00%)
./cn/unconstrained_ptr_eq.error.c	0.09	0.09	+0.00 (+0.00%)
./cn/arrow_access.c	0.15	0.15	+0.00 (+0.00%)
./cn/ownership_at_negative_index.c	0.07	0.07	+0.00 (+0.00%)
./cn/division.c	0.08	0.08	+0.00 (+0.00%)
./cn/fun_ptr_known.c	0.35	0.35	+0.00 (+0.00%)
./cn/implies_associativity.c	0.05	0.04	-0.01 (-20.00%)
./cn/mod_precedence.c	0.1	0.11	+0.01 (+10.00%)
./cn/mutual_rec/mutual_rec.c	3.62	3.62	+0.00 (+0.00%)
./cn/bitwise_and_type_right.error.c	0.04	0.04	+0.00 (+0.00%)
./cn/unconstrained_ptr_eq2.error.c	0.09	0.09	+0.00 (+0.00%)
./cn/bad_resource_var.error.c	0.12	0.11	-0.01 (-8.33%)
./cn/int_to_ptr.c	-	0.08	-
./cn/ptr_relop.error.c	-	0.19	-
./cn/null_to_int.c	-	0.07	-
./cn/copy_alloc_id2.error.c	-	0.11	-
./cn/int_to_ptr.error.c	-	0.09	-
./cn/ptr_relop.c	-	0.47	-
Total runtime	122.85999999999991	123.6	+0.74 (+0.60%)