[objc-arc] Track if we encountered an additive overflow while computing {TopDown...