The function no$\_$overflow$\_$add is intended to return true if result of adding

three non$-$positive numbers a$,$ b$,$ and c fits in $32$ bits $($if it does not overflow$),$ and

false if it does.

$$ If the following code satisfies this description, explain why in one sentence.

$$ If it doesn$$t satisfy this description, give $32-$bit values for a$,$ b$,$ and c that

satisfy the preconditions and such that the call no$\_$overflow$\_$add$($a$,$b$,$c$)$

returns true when it should have returned false, or vice versa. Explain

why the result is incorrect in this case.