You have exactly as many edges if every fallible routine can throw and every infallible one is marked as nothrow.