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

Merged

SizzleUnrlsd merged 36 commits intomainfrom

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
feat(extern-example): load compile commands database before analysis
SizzleUnrlsd
committed
feat(cli): integrate coretrace logger and add verbose flag
SizzleUnrlsd
committed
fix(test-runner): parse recursion diagnostics after location lines
SizzleUnrlsd
committed
ci(commit-checker): allow commit subjects up to 84 characters
SizzleUnrlsd
committed
feat(recursion): attach source line and column to recursion warnings
SizzleUnrlsd
committed
feat(duplicate-if): detect equivalent deterministic call conditions
SizzleUnrlsd
committed
refactor(input-pipeline): normalize include ordering
SizzleUnrlsd
committed
fix(uninitialized): recover declaration location with robust fallbacks
SizzleUnrlsd
committed
test(no-error): assert basic main emits no diagnostics
SizzleUnrlsd
committed
test(offset-of): guard against false uninitialized warning on unused pointer
SizzleUnrlsd
committed
test(recursion-c): assert location for infinite recursion diagnostics
SizzleUnrlsd
committed
test(recursion-c): assert location for bounded recursion diagnostic
SizzleUnrlsd
committed
test(recursion-cpp): assert location for infinite recursion diagnostics
SizzleUnrlsd
committed
test(recursion-cpp): assert location for bounded recursion diagnostic
SizzleUnrlsd
committed
test(uninitialized): assert location for never-initialized argument case
SizzleUnrlsd
committed
test(uninitialized): assert location for never-initialized unused local
SizzleUnrlsd
committed
test(vla): add expectation for runtime-dependent disguised constant alloca
SizzleUnrlsd
committed
test(vla): add location expectations for vla-scanf diagnostics
SizzleUnrlsd
committed
test(vla): add location expectations for unknown-size vla diagnostics
SizzleUnrlsd
committed
chore(debug): add llvm ir dump for duplicate else-if investigation
SizzleUnrlsd
committed
test(duplicate-if): add regression for duplicate else-if via helper call
SizzleUnrlsd
committed
chore(output): improve the output logs
SizzleUnrlsd
committed
test(output): update output of tests
SizzleUnrlsd
committed
chore(output): improve the output logs
SizzleUnrlsd
committed
chore(style): format code with clang-format
SizzleUnrlsd
committed
chore(output): improve the output logs
SizzleUnrlsd
committed
test(skip): skipping the test bad-usage-memcpy.c
SizzleUnrlsd
committed
fix(diagnostics): add robust source location for multiple-store issues
SizzleUnrlsd
committed
test(multiple-storage): cover same-index multiple-store diagnostic
SizzleUnrlsd
committed
test(multiple-storage): cover same-index multiple-store diagnostic
SizzleUnrlsd
committed
test(all): update logs verification
SizzleUnrlsd
committed
chore(output): improve the output logs
SizzleUnrlsd
committed
chore(style): format code with clang-format
SizzleUnrlsd
committed
refactor(diagnostics): replace macro prefixes with typed string_view constants and severity helper
SizzleUnrlsd
committed
test(all): update logs verification
SizzleUnrlsd
committed