On 4/8/2013 10:26 AM, Kenneth Zadeck wrote:
My confusion is what you mean by "we"? Do you mean "we" the writer of the program, "we" the person invoking the compiler by the use command line options or "we", your company's implementation of ada?
Sorry, bad usage, The gcc implementation of Ada allows the user to specify by pragmas how intermediate overflow is handled.
My interpretation of your first email was that it was possible for the programmer to do something equivalent to adding attributes surrounding a block in the program to control the precision and overflow detection of the expressions in the block. And if this is so, then by the time the expression is seen by the middle end of gcc, those attributes will have been converted into tree code will evaluate the code in a well defined way by both the optimization passes and the target machine.
Yes, that's a correct understanding
Kenny
