commit | ef86d6004019456f2a255456d7134a493acbcaeb | [log] [tgz] |
---|---|---|
author | Sergey G. Grekhov <sgrekhov22@gmail.com> | Mon Feb 12 12:10:18 2024 +0200 |
committer | GitHub <noreply@github.com> | Mon Feb 12 11:10:18 2024 +0100 |
tree | f996572f6d6c431192c6f463939a2c02fbc4fc18 | |
parent | 2ec352f5d4bed5529629c1e332c2535bf1c7f963 [diff] |
Fix #2536. Fix use of HINT.UNREACHABLE_SWITCH_CASE (#2537)