Skip to content

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
Merged

44 improve diagnostic source locations and enable recursion regression coverage#45
SizzleUnrlsd merged 36 commits into
mainfrom
44-improve-diagnostic-source-locations-and-enable-recursion-regression-coverage

Conversation

@SizzleUnrlsd

@SizzleUnrlsd SizzleUnrlsd commented Feb 12, 2026

Copy link
Copy Markdown
Contributor

No description provided.

@SizzleUnrlsd
build(cmake): fetch coretrace logger and link analyzer targets
9b59a16
@SizzleUnrlsd
feat(extern-example): load compile commands database before analysis
4d15327
@SizzleUnrlsd
feat(cli): integrate coretrace logger and add verbose flag
ccc0ca0
@SizzleUnrlsd
fix(test-runner): parse recursion diagnostics after location lines
4de74c8
@SizzleUnrlsd
ci(commit-checker): allow commit subjects up to 84 characters
7189b80
@SizzleUnrlsd
feat(recursion): attach source line and column to recursion warnings
a5ba01d
@SizzleUnrlsd
feat(duplicate-if): detect equivalent deterministic call conditions
b791610
@SizzleUnrlsd
refactor(input-pipeline): normalize include ordering
aa3f356
@SizzleUnrlsd
fix(uninitialized): recover declaration location with robust fallbacks
c1dbcd5
@SizzleUnrlsd
test(no-error): assert basic main emits no diagnostics
27e81d5
@SizzleUnrlsd
test(offset-of): guard against false uninitialized warning on unused …
899df27 
…pointer
@SizzleUnrlsd
test(recursion-c): assert location for infinite recursion diagnostics
3c9a618
@SizzleUnrlsd
test(recursion-c): assert location for bounded recursion diagnostic
a3a81e5
@SizzleUnrlsd
test(recursion-cpp): assert location for infinite recursion diagnostics
bde728d
@SizzleUnrlsd
test(recursion-cpp): assert location for bounded recursion diagnostic
698bdbc
@SizzleUnrlsd
test(uninitialized): assert location for never-initialized argument case
83bff87
@SizzleUnrlsd
test(uninitialized): assert location for never-initialized unused local
9a3662b
@SizzleUnrlsd
test(vla): add expectation for runtime-dependent disguised constant a…
616c5d4 
…lloca
@SizzleUnrlsd
test(vla): add location expectations for vla-scanf diagnostics
e15e875
@SizzleUnrlsd
test(vla): add location expectations for unknown-size vla diagnostics
6aebde8
@SizzleUnrlsd
chore(debug): add llvm ir dump for duplicate else-if investigation
d892e70
@SizzleUnrlsd
test(duplicate-if): add regression for duplicate else-if via helper call
1049206
@SizzleUnrlsd SizzleUnrlsd self-assigned this Feb 12, 2026
@SizzleUnrlsd SizzleUnrlsd linked an issue Feb 12, 2026 that may be closed by this pull request
Improve Diagnostic Source Locations and Enable Recursion Regression Coverage #44
Closed
@SizzleUnrlsd
SizzleUnrlsd merged commit 0ff5508 into main Feb 12, 2026
4 checks passed
@SizzleUnrlsd
SizzleUnrlsd deleted the 44-improve-diagnostic-source-locations-and-enable-recursion-regression-coverage branch February 12, 2026 15:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@SizzleUnrlsd SizzleUnrlsd

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Improve Diagnostic Source Locations and Enable Recursion Regression Coverage

1 participant

@SizzleUnrlsd