Files
codeql/cpp/ql/test/library-tests/rangeanalysis/SimpleRangeAnalysis/ternaryUpper.ql
2019-01-08 09:34:23 -08:00

6 lines
171 B
Plaintext

import cpp
import semmle.code.cpp.rangeanalysis.SimpleRangeAnalysis
from ConditionalExpr ce
select ce, upperBound(ce), upperBound(ce.getThen()), upperBound(ce.getElse())