LCOV - differential code coverage report
Current view: top level - src/backend/optimizer/util - predtest.c (source / functions) Coverage Total Hit UBC CBC
Current: f76c13edadc2b319036e0d238703ed56bb23f934 vs 9e17d25e79d4756be08b4a5521b4b58450217137 Lines: 94.5 % 713 674 39 674
Current Date: 2026-09-20 14:13:17 +0900 Functions: 100.0 % 26 26 26
Baseline: lcov-20260920-baseline Branches: 81.1 % 514 417 97 417
Baseline Date: 2026-09-20 14:13:13 +0900 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
InvalidateOprProofCacheCallBack CBC 522 100.0 % (7 / 7) 75.0 % (3 / 4)
arrayexpr_cleanup_fn CBC 924 100.0 % (5 / 5)
arrayexpr_startup_fn CBC 924 100.0 % (16 / 16)
arrayexpr_next_fn CBC 938 100.0 % (7 / 7) 100.0 % (2 / 2)
operator_same_subexprs_lookup CBC 2386 100.0 % (5 / 5) 100.0 % (2 / 2)
operator_same_subexprs_proof CBC 4396 100.0 % (7 / 7) 100.0 % (6 / 6)
arrayconst_cleanup_fn CBC 9454 100.0 % (7 / 7)
arrayconst_startup_fn CBC 9454 100.0 % (25 / 25)
clause_is_strict_for CBC 10966 87.0 % (47 / 54) 76.5 % (52 / 68)
arrayconst_next_fn CBC 24324 100.0 % (8 / 8) 100.0 % (2 / 2)
get_btree_test_op CBC 29861 100.0 % (5 / 5) 100.0 % (2 / 2)
lookup_proof_cache CBC 32247 97.0 % (64 / 66) 88.0 % (44 / 50)
boolexpr_startup_fn CBC 32844 100.0 % (4 / 4)
predicate_refuted_by CBC 40445 91.7 % (11 / 12) 87.5 % (7 / 8)
list_startup_fn CBC 54410 100.0 % (4 / 4)
predicate_implied_by CBC 64154 100.0 % (12 / 12) 100.0 % (8 / 8)
list_cleanup_fn CBC 87254 100.0 % (2 / 2)
predicate_implied_by_simple_clause CBC 88389 100.0 % (39 / 39) 71.4 % (25 / 35)
predicate_implied_by_recurse CBC 109964 95.4 % (83 / 87) 88.1 % (52 / 59)
predicate_refuted_by_simple_clause CBC 122299 91.7 % (55 / 60) 77.5 % (31 / 40)
operator_predicate_proof CBC 145010 86.6 % (84 / 97) 70.0 % (63 / 90)
extract_strong_not_arg CBC 148045 91.7 % (11 / 12) 80.0 % (8 / 10)
extract_not_arg CBC 149541 92.9 % (13 / 14) 85.7 % (12 / 14)
predicate_refuted_by_recurse CBC 187877 95.5 % (107 / 112) 88.8 % (71 / 80)
list_next_fn CBC 255445 100.0 % (7 / 7) 100.0 % (2 / 2)
predicate_classify CBC 595682 100.0 % (39 / 39) 78.1 % (25 / 32)

Generated by: LCOV version 2.0-1