Skip to content

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

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
SizzleUnrlsd merged 36 commits into from
Feb 12, 2026
Merged

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

SizzleUnrlsd merged 36 commits into from
Feb 12, 2026

Conversation

@SizzleUnrlsd
Copy link
Contributor

@SizzleUnrlsd SizzleUnrlsd commented Feb 12, 2026

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