import cpp
import semmle.code.cpp.rangeanalysis.SimpleRangeAnalysis

from ConditionalExpr ce
select ce, upperBound(ce), upperBound(ce.getThen()), upperBound(ce.getElse())