> Why doesn't it work? Can it be made to work relatively easily? Do we > need functionality like this for Ada or Java? Ada currently has to do this itself, precisely because -ftrapv doesn't work, so it's not the case that Ada "needs" it.