If both inputs to an addition have the opposite sign, then

a$.$ the leftmost bit should wrap around

b$.$ the leftmost bit should be disregarded

c$.$ the range is insufficient to hold the result

d$.$ it is impossible to have an overflow