44 improve diagnostic source locations and enable recursion regression coverage - #45

Merged

SizzleUnrlsd merged 36 commits into

mainfrom

44-improve-diagnostic-source-locations-and-enable-recursion-regression-coverage

Feb 12, 2026

Commits on Feb 12, 2026

build(cmake): fetch coretrace logger and link analyzer targets
SizzleUnrlsd
committed
9b59a16
feat(extern-example): load compile commands database before analysis
SizzleUnrlsd
committed
4d15327
feat(cli): integrate coretrace logger and add verbose flag
SizzleUnrlsd
committed
ccc0ca0
fix(test-runner): parse recursion diagnostics after location lines
SizzleUnrlsd
committed
4de74c8
ci(commit-checker): allow commit subjects up to 84 characters
SizzleUnrlsd
committed
7189b80
feat(recursion): attach source line and column to recursion warnings
SizzleUnrlsd
committed
a5ba01d
feat(duplicate-if): detect equivalent deterministic call conditions
SizzleUnrlsd
committed
b791610
refactor(input-pipeline): normalize include ordering
SizzleUnrlsd
committed
aa3f356
fix(uninitialized): recover declaration location with robust fallbacks
SizzleUnrlsd
committed
c1dbcd5
test(no-error): assert basic main emits no diagnostics
SizzleUnrlsd
committed
27e81d5
test(offset-of): guard against false uninitialized warning on unused pointer
SizzleUnrlsd
committed
899df27
test(recursion-c): assert location for infinite recursion diagnostics
SizzleUnrlsd
committed
3c9a618
test(recursion-c): assert location for bounded recursion diagnostic
SizzleUnrlsd
committed
a3a81e5
test(recursion-cpp): assert location for infinite recursion diagnostics
SizzleUnrlsd
committed
bde728d
test(recursion-cpp): assert location for bounded recursion diagnostic
SizzleUnrlsd
committed
698bdbc
test(uninitialized): assert location for never-initialized argument case
SizzleUnrlsd
committed
83bff87
test(uninitialized): assert location for never-initialized unused local
SizzleUnrlsd
committed
9a3662b
test(vla): add expectation for runtime-dependent disguised constant alloca
SizzleUnrlsd
committed
616c5d4
test(vla): add location expectations for vla-scanf diagnostics
SizzleUnrlsd
committed
e15e875
test(vla): add location expectations for unknown-size vla diagnostics
SizzleUnrlsd
committed
6aebde8
chore(debug): add llvm ir dump for duplicate else-if investigation
SizzleUnrlsd
committed
d892e70
test(duplicate-if): add regression for duplicate else-if via helper call
SizzleUnrlsd
committed
1049206
chore(output): improve the output logs
SizzleUnrlsd
committed
ed5a8b7
test(output): update output of tests
SizzleUnrlsd
committed
133844c
chore(output): improve the output logs
SizzleUnrlsd
committed
ebf4990
chore(style): format code with clang-format
SizzleUnrlsd
committed
69df1a2
chore(output): improve the output logs
SizzleUnrlsd
committed
1164bbb
test(skip): skipping the test bad-usage-memcpy.c
SizzleUnrlsd
committed
d564707
fix(diagnostics): add robust source location for multiple-store issues
SizzleUnrlsd
committed
c22d51c
test(multiple-storage): cover same-index multiple-store diagnostic
SizzleUnrlsd
committed
9bfb47b
test(multiple-storage): cover same-index multiple-store diagnostic
SizzleUnrlsd
committed
f642852
test(all): update logs verification
SizzleUnrlsd
committed
4839eb5
chore(output): improve the output logs
SizzleUnrlsd
committed
62f85dd
chore(style): format code with clang-format
SizzleUnrlsd
committed
47798d3
refactor(diagnostics): replace macro prefixes with typed string_view constants and severity helper
SizzleUnrlsd
committed
213d945
test(all): update logs verification
SizzleUnrlsd
committed
f7fe303