Skip to content

CHC: fixes Bool Integer Promotion Crash (CodeHawk-C Issue #69)#243

Merged
sipma merged 1 commit into
static-analysis-engineering:masterfrom
sipma:boolintegerpromotion
Jun 4, 2026
Merged

CHC: fixes Bool Integer Promotion Crash (CodeHawk-C Issue #69)#243
sipma merged 1 commit into
static-analysis-engineering:masterfrom
sipma:boolintegerpromotion

Conversation

@sipma
Copy link
Copy Markdown
Contributor

@sipma sipma commented Jun 4, 2026

Fixes Bool Integer Promotion Crash (CodeHawk-C, Issue #69).

@sipma sipma merged commit 222e3e8 into static-analysis-engineering:master Jun 4, 2026
3 checks passed
@sipma sipma deleted the boolintegerpromotion branch June 4, 2026 07:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant