Re: mixed double and single signed division

From	Paul Rubin <no.email@nospam.invalid>
Newsgroups	comp.lang.forth
Subject	Re: mixed double and single signed division
Date	2017-04-25 02:25 -0700
Organization	A noiseless patient Spider
Message-ID	<877f28g7pt.fsf@nightsong.com> (permalink)
References	(2 earlier) <zY2dneeIGsT8u2HFnZ2dnUU7-V-dnZ2d@supernews.com> <f8a33236-78f6-462e-9bc1-67e2ca5c92b7@googlegroups.com> <2017Apr24.151206@mips.complang.tuwien.ac.at> <57830405-b5fe-4bf5-88dd-88a3838f1341@googlegroups.com> <1vGdnY977oFcNmPFnZ2dnUU7-QnNnZ2d@supernews.com>

Show all headers | View raw

"Elizabeth D. Rather" <erather@forth.com> writes:
> The important distinction is that a standard system must document its
> response to all "implementation *defined*" items mentioned in the
> Standard. There is no such requirement on "undefined behavior".

I don't understand the difference.  Can the target system document its
response to implementation-defined item X as "doing X makes demons fly
out of your nose"?  If yes, implementation-defined is no different from
UB.

Thread

mixed double and single signed division krishna.myneni@ccreweb.org - 2017-04-22 08:21 -0700
  Re: mixed double and single signed division NN <november.nihal@gmail.com> - 2017-04-22 09:14 -0700
    Re: mixed double and single signed division NN <november.nihal@gmail.com> - 2017-04-22 09:22 -0700
      Re: mixed double and single signed division Coos Haak <htrofhc@gmail.com> - 2017-04-22 23:31 +0200
        Re: mixed double and single signed division krishna.myneni@ccreweb.org - 2017-04-23 06:44 -0700
          Re: mixed double and single signed division hughaguilar96@gmail.com - 2017-04-23 13:24 -0700
      Re: mixed double and single signed division krishna.myneni@ccreweb.org - 2017-04-23 06:41 -0700
        Re: mixed double and single signed division krishna.myneni@ccreweb.org - 2017-04-23 13:29 -0700
  Re: mixed double and single signed division Andrew Haley <andrew29@littlepinkcloud.invalid> - 2017-04-22 11:40 -0500
    Re: mixed double and single signed division krishna.myneni@ccreweb.org - 2017-04-23 06:52 -0700
  Re: mixed double and single signed division "HAA" <someone@microsoft.com> - 2017-04-23 13:02 +1000
    Re: mixed double and single signed division "Elizabeth D. Rather" <erather@forth.com> - 2017-04-22 17:58 -1000
      Re: mixed double and single signed division krishna.myneni@ccreweb.org - 2017-04-23 13:36 -0700
        Re: mixed double and single signed division krishna.myneni@ccreweb.org - 2017-04-23 16:33 -0700
          Re: mixed double and single signed division anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2017-04-24 13:23 +0000
            Re: mixed double and single signed division krishna.myneni@ccreweb.org - 2017-04-24 18:49 -0700
        Re: mixed double and single signed division anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2017-04-24 13:12 +0000
          Re: mixed double and single signed division krishna.myneni@ccreweb.org - 2017-04-24 18:35 -0700
            Re: mixed double and single signed division "Elizabeth D. Rather" <erather@forth.com> - 2017-04-24 15:52 -1000
              Re: mixed double and single signed division krishna.myneni@ccreweb.org - 2017-04-25 02:18 -0700
              Re: mixed double and single signed division Paul Rubin <no.email@nospam.invalid> - 2017-04-25 02:25 -0700
                Re: mixed double and single signed division anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2017-04-25 11:30 +0000
                Re: mixed double and single signed division "Elizabeth D. Rather" <erather@forth.com> - 2017-04-25 08:08 -1000
                Re: mixed double and single signed division anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2017-04-26 14:48 +0000
            Re: mixed double and single signed division anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2017-04-25 08:40 +0000
              Re: mixed double and single signed division krishna.myneni@ccreweb.org - 2017-04-25 02:25 -0700
                Re: mixed double and single signed division krishna.myneni@ccreweb.org - 2017-04-25 03:00 -0700
                Re: mixed double and single signed division anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2017-04-25 11:37 +0000
                Re: mixed double and single signed division krishna.myneni@ccreweb.org - 2017-04-25 05:27 -0700
                Re: mixed double and single signed division anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2017-04-25 13:34 +0000
                Re: mixed double and single signed division krishna.myneni@ccreweb.org - 2017-04-25 15:29 -0700
                Re: mixed double and single signed division "HAA" <someone@microsoft.com> - 2017-04-27 14:02 +1000
                Re: mixed double and single signed division krishna.myneni@ccreweb.org - 2017-04-27 16:00 -0700
                Re: mixed double and single signed division "Elizabeth D. Rather" <erather@forth.com> - 2017-04-27 19:20 -1000
                Re: mixed double and single signed division "HAA" <someone@microsoft.com> - 2017-04-28 22:41 +1000
            Re: mixed double and single signed division Coos Haak <htrofhc@gmail.com> - 2017-04-25 15:32 +0200
              Re: mixed double and single signed division krishna.myneni@ccreweb.org - 2017-04-25 15:22 -0700
    Re: mixed double and single signed division krishna.myneni@ccreweb.org - 2017-04-23 06:55 -0700
      Re: mixed double and single signed division "Elizabeth D. Rather" <erather@forth.com> - 2017-04-23 13:30 -1000
        Re: mixed double and single signed division krishna.myneni@ccreweb.org - 2017-04-23 16:45 -0700
        Re: mixed double and single signed division "HAA" <someone@microsoft.com> - 2017-04-24 10:56 +1000
          Re: mixed double and single signed division "Elizabeth D. Rather" <erather@forth.com> - 2017-04-23 15:06 -1000
            Re: mixed double and single signed division hughaguilar96@gmail.com - 2017-04-23 19:10 -0700
            Re: mixed double and single signed division Paul Rubin <no.email@nospam.invalid> - 2017-04-23 19:12 -0700
              Re: mixed double and single signed division "Elizabeth D. Rather" <erather@forth.com> - 2017-04-23 16:31 -1000
                Re: mixed double and single signed division hughaguilar96@gmail.com - 2017-04-23 21:17 -0700
                Re: mixed double and single signed division Paul Rubin <no.email@nospam.invalid> - 2017-04-23 21:47 -0700
                Re: mixed double and single signed division hughaguilar96@gmail.com - 2017-04-23 22:58 -0700
                Re: mixed double and single signed division hughaguilar96@gmail.com - 2017-04-23 23:22 -0700
                Re: mixed double and single signed division Andrew Haley <andrew29@littlepinkcloud.invalid> - 2017-04-24 04:46 -0500
            Re: mixed double and single signed division "HAA" <someone@microsoft.com> - 2017-04-24 12:59 +1000
              Re: mixed double and single signed division "Elizabeth D. Rather" <erather@forth.com> - 2017-04-23 18:03 -1000
                Re: mixed double and single signed division hughaguilar96@gmail.com - 2017-04-23 21:22 -0700
                Re: mixed double and single signed division "HAA" <someone@microsoft.com> - 2017-04-25 12:53 +1000
                Re: mixed double and single signed division "Elizabeth D. Rather" <erather@forth.com> - 2017-04-24 21:55 -1000
                Re: mixed double and single signed division "HAA" <someone@microsoft.com> - 2017-04-25 20:00 +1000

csiph-web