LCOV - differential code coverage report
Current view: top level - src/backend/optimizer/util - predtest.c (source / functions) Coverage Total Hit UBC CBC
Current: 1a1248818fb8b8b0353c292c632d6a6af77e8209 vs 8e82d6610e7280d7870c0c36ff1c797e3cfb3e09 Lines: 94.5 % 713 674 39 674
Current Date: 2026-10-12 11:56:10 +0200 Functions: 100.0 % 26 26 26
Baseline: lcov-20261012-baseline Branches: 81.1 % 514 417 97 417
Baseline Date: 2026-10-12 10:36:06 +0200 Line coverage date bins:
Legend: Lines:     hit not hit
Branches: + taken - not taken # not executed 		(30,360] days: 100.0 % 3 3 3
(360..) days: 94.5 % 710 671 39 671
Function coverage date bins:
(30,360] days: 100.0 % 1 1 1
(360..) days: 100.0 % 25 25 25
Branch coverage date bins:
(360..) days: 81.1 % 514 417 97 417

Function Name Sort by function name TLA Hit count Sort by function hit count Lines Sort by unexercised lines in function Branches Sort by unexercised branches in function
operator_predicate_proof CBC 145254 86.6 % (84 / 97) 70.0 % (63 / 90)
clause_is_strict_for CBC 10966 87.0 % (47 / 54) 76.5 % (52 / 68)
predicate_implied_by_simple_clause CBC 88573 100.0 % (39 / 39) 71.4 % (25 / 35)
predicate_refuted_by_recurse CBC 188464 95.5 % (107 / 112) 88.8 % (71 / 80)
predicate_refuted_by_simple_clause CBC 122634 91.7 % (55 / 60) 77.5 % (31 / 40)
predicate_classify CBC 597310 100.0 % (39 / 39) 78.1 % (25 / 32)
predicate_implied_by_recurse CBC 110191 95.4 % (83 / 87) 88.1 % (52 / 59)
lookup_proof_cache CBC 32275 97.0 % (64 / 66) 88.0 % (44 / 50)
extract_not_arg CBC 149984 92.9 % (13 / 14) 85.7 % (12 / 14)
extract_strong_not_arg CBC 148458 91.7 % (11 / 12) 80.0 % (8 / 10)
InvalidateOprProofCacheCallBack CBC 625 100.0 % (7 / 7) 75.0 % (3 / 4)
predicate_refuted_by CBC 40567 91.7 % (11 / 12) 87.5 % (7 / 8)
arrayconst_next_fn CBC 24302 100.0 % (8 / 8) 100.0 % (2 / 2)
arrayexpr_next_fn CBC 1052 100.0 % (7 / 7) 100.0 % (2 / 2)
get_btree_test_op CBC 29865 100.0 % (5 / 5) 100.0 % (2 / 2)
list_next_fn CBC 256172 100.0 % (7 / 7) 100.0 % (2 / 2)
operator_same_subexprs_lookup CBC 2410 100.0 % (5 / 5) 100.0 % (2 / 2)
operator_same_subexprs_proof CBC 4412 100.0 % (7 / 7) 100.0 % (6 / 6)
predicate_implied_by CBC 64344 100.0 % (12 / 12) 100.0 % (8 / 8)
arrayconst_cleanup_fn CBC 9451 100.0 % (7 / 7)
arrayconst_startup_fn CBC 9451 100.0 % (25 / 25)
arrayexpr_cleanup_fn CBC 1034 100.0 % (5 / 5)
arrayexpr_startup_fn CBC 1034 100.0 % (16 / 16)
boolexpr_startup_fn CBC 32825 100.0 % (4 / 4)
list_cleanup_fn CBC 87500 100.0 % (2 / 2)
list_startup_fn CBC 54675 100.0 % (4 / 4)

Generated by: LCOV version 2.0-1