av_sat_dadd32_c

Add a doubled value to another value with saturation at both stages.

@param a first value @param b value doubled and added to a @return sum sat(a + sat(2*b)) with signed saturation