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

sipma merged 1 commit into

static-analysis-engineering:masterstatic-analysis-engineering/codehawk:masterfrom

sipma:boolintegerpromotionsipma/codehawk:boolintegerpromotionCopy head branch name to clipboard