codeql/java-all
6.1.1-dev
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
Gets a possible sign after integer dividing an expression that has this sign by an expression with sign s.
s
Sign div(Sign s)