33 feat detect duplicate else if conditions as unreachable branches - #34

Merged

SizzleUnrlsd merged 11 commits into

mainfrom

33-feat-detect-duplicate-else-if-conditions-as-unreachable-branches

Feb 7, 2026

Commits on Feb 7, 2026

feat(diagnostics): emit duplicate else-if diagnostics
SizzleUnrlsd
committed
44bee52
test(diagnostics): add nested duplicate else-if variant
SizzleUnrlsd
committed
ff5fb6e
test(diagnostics): add nested duplicate else-if case
SizzleUnrlsd
committed
5b3994c
test(diagnostics): add basic duplicate else-if case
SizzleUnrlsd
committed
65f3e6e
test(diagnostics): add basic duplicate else-if case
SizzleUnrlsd
committed
e2c97b9
test(diagnostics): add distinct else-if negative case
SizzleUnrlsd
committed
6081a44
feat(analysis): declare duplicate else-if condition detector
SizzleUnrlsd
committed
48325f2
feat(analysis): detect duplicate else-if conditions via dominators
SizzleUnrlsd
committed
79e63ed
test(diagnostics): add nested loop duplicate else-if case
SizzleUnrlsd
committed
7be3101
test(diagnostics): add separate if negative case
SizzleUnrlsd
committed
c3870d4
chore(style): format code with clang-format
SizzleUnrlsd
committed
b1d9e69