Exception: Ternary operation not handled

[selimekim94]

Describe the issue:

Slither crashes when analyzing this contract

--> crytic-export/etherscan-contracts/0x8214de517905Baa0b4b3ca06050AAD8fe31e460F-TehRocket.sol:260:5:
|
260 | function min(uint256 a, uint256 b) private view returns (uint256){
| ^ (Relevant source part starts here and spans across multiple lines).

Code example to reproduce the issue:

function min(uint256 a, uint256 b) private view returns (uint256){
return (a>b)?b:a;
}

Version:

0.9.1

Relevant log output:

No response

[0xalpharush]

Can you share the error message? I can run the 0.9.1 on this contract without any error and the ternary conversion in the IR looks fine to me at first glance. (I had previously commented but I was on a dev branch related to ternary and the issue is related to my modifications.)

[0xPhaze]

contract Contract {
    uint256 constant a = 1 < 3 ? 1 : 3;
}

throws

$ slither .
Exception: Ternary operator are not convertible to SlithIR if 1 < 3 then 1 else 3`
$ slither --version
0.9.1