Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > comp.lang.c > #124906

Re: UB in asm

From Keith Thompson <kst-u@mib.org>
Newsgroups comp.lang.c
Subject Re: UB in asm
Date 2017-12-29 09:05 -0800
Organization None to speak of
Message-ID <lna7y1cvn2.fsf@kst-u.example.com> (permalink)
References (16 earlier) <p23hi3$s1a$1@dont-email.me> <Yfc1C.278683$gi3.167776@fx19.am4> <p2527t$2u2$1@dont-email.me> <Bbq1C.132005$Jg1.19344@fx33.am4> <p25h9g$vtp$1@dont-email.me>

Show all headers | View raw


David Brown <david.brown@hesbynett.no> writes:
[...]
> int test(int x) {
>     if (x < 0) return 0;
>     if (x == INT_MAX) {
>         while (true) { ; }
>     }
>     return x + 1;
> }
>
> gcc is not smart enough to do this.  I guess there has been little
> effort in optimisations that are only relevant when -fwrapv is active.
>
> Here is a conundrum - C11 6.8.5p6 says that an iteration statement that
> performs no I/O operations, no volatile accesses, and no atomic
> operations, can be assumed to terminate - and an empty loop like this
> can be removed.  If the compiler were to do that, what should it return
> in this case?

6.8.5p6 doesn't apply in this case.  It applies only to an iteration
statement whose controlling expression is not a constant expression.

Here's the full text:

    An iteration statement whose controlling expression is not a constant
    expression, that performs no input/output operations, does not access
    volatile objects, and performs no synchronization or atomic operations
    in its body, controlling expression, or (in the case of a for statement)
    its expression-3, may be assumed by the implementation to terminate.

with two footnotes:

    An omitted controlling expression is replaced by a nonzero constant,
    which is a constant expression.

and

    This is intended to allow compiler transformations such as removal
    of empty loops even when termination cannot be proven.

If you write an explicit infinite loop using something like while (1) or
for (;;), it will be treated as an infinite loop.

In my opinion (I've mentioned this before), this paragraph is badly
worded.  It says that such a loop "may be assumed" to terminate.  It
should, IMHO, be expressed in terms of the permitted behavior of the
program.

-- 
Keith Thompson (The_Other_Keith) kst-u@mib.org  <http://www.ghoti.net/~kst>
Working, but not speaking, for JetHead Development, Inc.
"We must do something.  This is something.  Therefore, we must do this."
    -- Antony Jay and Jonathan Lynn, "Yes Minister"

Back to comp.lang.c | Previous | NextPrevious in thread | Next in thread | Find similar | Unroll thread


Thread

Re: What every compiler writer should know about programmersWhat every compiler writer should know about programmers gazelle@shell.xmission.com (Kenny McCormack) - 2017-12-24 07:54 +0000
  Re: What every compiler writer should know about programmersWhat every compiler writer should know about programmers bartc <bc@freeuk.com> - 2017-12-24 12:34 +0000
    Re: What every compiler writer should know about programmersWhat every compiler writer should know about programmers Melzzzzz <Melzzzzz@zzzzz.com> - 2017-12-24 12:44 +0000
    Re: UB in asm Noob <root@127.0.0.1> - 2017-12-24 15:26 +0100
      Re: UB in asm bartc <bc@freeuk.com> - 2017-12-24 14:58 +0000
        Re: UB in asm Johannes Bauer <dfnsonfsduifb@gmx.de> - 2017-12-24 21:59 +0100
          Re: UB in asm Keith Thompson <kst-u@mib.org> - 2017-12-24 13:35 -0800
            Re: UB in asm Robert Wessel <robertwessel2@yahoo.com> - 2017-12-24 16:10 -0600
            Re: UB in asm Johannes Bauer <dfnsonfsduifb@gmx.de> - 2018-01-02 12:06 +0100
              Re: UB in asm Richard Damon <Richard@Damon-Family.org> - 2018-01-02 08:03 -0500
                Re: UB in asm supercat@casperkitty.com - 2018-01-02 08:53 -0800
                Re: UB in asm Keith Thompson <kst-u@mib.org> - 2018-01-02 09:33 -0800
                Re: UB in asm supercat@casperkitty.com - 2018-01-02 09:53 -0800
                Re: UB in asm scott@slp53.sl.home (Scott Lurndal) - 2018-01-02 19:31 +0000
              Re: UB in asm Keith Thompson <kst-u@mib.org> - 2018-01-02 09:26 -0800
                Re: UB in asm Johannes Bauer <dfnsonfsduifb@gmx.de> - 2018-01-04 10:56 +0100
                Re: UB in asm James Kuyper <jameskuyper@verizon.net> - 2018-01-04 05:19 -0500
                Re: UB in asm aph@littlepinkcloud.invalid - 2018-01-04 05:38 -0600
                Re: UB in asm James Kuyper <jameskuyper@verizon.net> - 2018-01-04 07:05 -0500
                Re: UB in asm aph@littlepinkcloud.invalid - 2018-01-04 06:46 -0600
                Re: UB in asm scott@slp53.sl.home (Scott Lurndal) - 2018-01-04 16:09 +0000
                Re: UB in asm supercat@casperkitty.com - 2018-01-04 08:12 -0800
                Re: UB in asm supercat@casperkitty.com - 2018-01-04 08:00 -0800
                Re: UB in asm Richard Damon <Richard@Damon-Family.org> - 2018-01-04 10:02 -0500
          Re: UB in asm James Kuyper <jameskuyper@verizon.net> - 2017-12-24 17:04 -0500
          Re: UB in asm bartc <bc@freeuk.com> - 2017-12-24 22:29 +0000
            Re: UB in asm Keith Thompson <kst-u@mib.org> - 2017-12-24 14:50 -0800
              Re: UB in asm bartc <bc@freeuk.com> - 2017-12-24 23:23 +0000
                Re: UB in asm Keith Thompson <kst-u@mib.org> - 2017-12-24 15:58 -0800
                Re: UB in asm Keith Thompson <kst-u@mib.org> - 2017-12-24 16:26 -0800
                Re: UB in asm Gareth Owen <gwowen@gmail.com> - 2017-12-26 18:03 +0000
                Re: UB in asm supercat@casperkitty.com - 2017-12-26 12:23 -0800
                Re: UB in asm Keith Thompson <kst-u@mib.org> - 2017-12-26 12:44 -0800
                Re: UB in asm supercat@casperkitty.com - 2017-12-27 08:31 -0800
                Re: UB in asm Keith Thompson <kst-u@mib.org> - 2017-12-27 09:15 -0800
                Re: UB in asm supercat@casperkitty.com - 2017-12-27 09:55 -0800
                Re: UB in asm Richard Damon <Richard@Damon-Family.org> - 2017-12-27 16:00 -0500
                Re: UB in asm Keith Thompson <kst-u@mib.org> - 2017-12-27 13:13 -0800
                Re: UB in asm Tim Rentsch <txr@alumni.caltech.edu> - 2017-12-27 11:28 -0800
                Re: UB in asm Keith Thompson <kst-u@mib.org> - 2017-12-27 11:35 -0800
                Re: UB in asm Ben Bacarisse <ben.usenet@bsb.me.uk> - 2017-12-27 20:29 +0000
                Re: UB in asm supercat@casperkitty.com - 2017-12-27 12:46 -0800
                Re: UB in asm Ben Bacarisse <ben.usenet@bsb.me.uk> - 2017-12-27 22:00 +0000
                Re: UB in asm supercat@casperkitty.com - 2017-12-27 14:16 -0800
                Re: UB in asm Keith Thompson <kst-u@mib.org> - 2017-12-27 13:09 -0800
                Re: UB in asm bartc <bc@freeuk.com> - 2017-12-26 20:54 +0000
                Re: UB in asm bartc <bc@freeuk.com> - 2017-12-25 01:24 +0000
                Re: UB in asm Keith Thompson <kst-u@mib.org> - 2017-12-24 17:55 -0800
                Re: UB in asm Ben Bacarisse <ben.usenet@bsb.me.uk> - 2017-12-27 18:24 +0000
                Re: UB in asm Keith Thompson <kst-u@mib.org> - 2017-12-29 19:39 -0800
                Re: UB in asm Ben Bacarisse <ben.usenet@bsb.me.uk> - 2017-12-30 11:20 +0000
                Re: UB in asm Richard Damon <Richard@Damon-Family.org> - 2017-12-24 21:17 -0500
                Re: UB in asm Keith Thompson <kst-u@mib.org> - 2017-12-24 18:34 -0800
                Re: UB in asm Noob <root@127.0.0.1> - 2017-12-25 14:36 +0100
                Re: UB in asm bartc <bc@freeuk.com> - 2017-12-25 15:52 +0000
            Re: UB in asm Richard Damon <Richard@Damon-Family.org> - 2017-12-24 21:22 -0500
              Re: UB in asm bartc <bc@freeuk.com> - 2017-12-25 13:08 +0000
                Re: UB in asm Richard Damon <Richard@Damon-Family.org> - 2017-12-25 10:06 -0500
                Re: UB in asm David Brown <david.brown@hesbynett.no> - 2017-12-26 16:07 +0100
                Re: UB in asm Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2017-12-26 08:55 -0800
                Re: UB in asm already5chosen@yahoo.com - 2017-12-26 09:45 -0800
                Re: UB in asm Richard Damon <Richard@Damon-Family.org> - 2017-12-26 13:12 -0500
                Re: UB in asm jameskuyper@verizon.net - 2017-12-26 10:30 -0800
                Re: UB in asm Richard Damon <Richard@Damon-Family.org> - 2017-12-26 13:48 -0500
                Re: UB in asm already5chosen@yahoo.com - 2017-12-26 10:51 -0800
                Re: UB in asm Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2017-12-27 05:27 -0800
                Re: UB in asm David Brown <david.brown@hesbynett.no> - 2017-12-27 10:09 +0100
                Re: UB in asm already5chosen@yahoo.com - 2017-12-27 04:10 -0800
                Re: UB in asm "James R. Kuyper" <jameskuyper@verizon.net> - 2017-12-27 08:50 -0500
                Re: UB in asm bartc <bc@freeuk.com> - 2017-12-27 14:30 +0000
                Re: UB in asm jameskuyper@verizon.net - 2017-12-27 06:49 -0800
                Re: UB in asm bartc <bc@freeuk.com> - 2017-12-27 15:25 +0000
                Re: UB in asm David Brown <david.brown@hesbynett.no> - 2017-12-27 17:05 +0100
                Re: UB in asm supercat@casperkitty.com - 2017-12-27 09:45 -0800
                Re: UB in asm David Brown <david.brown@hesbynett.no> - 2017-12-27 20:40 +0100
                Re: UB in asm supercat@casperkitty.com - 2017-12-27 12:43 -0800
                Re: UB in asm David Brown <david.brown@hesbynett.no> - 2017-12-28 10:09 +0100
                Re: UB in asm Geoff <geoff@invalid.invalid> - 2017-12-28 11:24 -0800
                Re: UB in asm David Brown <david.brown@hesbynett.no> - 2017-12-29 08:59 +0100
                Re: UB in asm Geoff <geoff@invalid.invalid> - 2017-12-29 13:25 -0800
                Re: UB in asm Richard Damon <Richard@Damon-Family.org> - 2017-12-29 11:29 -0500
                Re: UB in asm bartc <bc@freeuk.com> - 2017-12-27 18:06 +0000
                Re: UB in asm Ben Bacarisse <ben.usenet@bsb.me.uk> - 2017-12-27 20:23 +0000
                Re: UB in asm supercat@casperkitty.com - 2017-12-27 12:59 -0800
                Re: UB in asm Richard Damon <Richard@Damon-Family.org> - 2017-12-27 16:28 -0500
                Re: UB in asm supercat@casperkitty.com - 2017-12-27 14:34 -0800
                Re: UB in asm David Brown <david.brown@hesbynett.no> - 2017-12-28 11:09 +0100
                Re: UB in asm supercat@casperkitty.com - 2017-12-28 08:57 -0800
                Re: UB in asm Richard Damon <Richard@Damon-Family.org> - 2017-12-28 09:37 -0500
                Re: UB in asm supercat@casperkitty.com - 2017-12-28 10:47 -0800
                Re: UB in asm David Brown <david.brown@hesbynett.no> - 2017-12-28 11:04 +0100
                Re: UB in asm bartc <bc@freeuk.com> - 2017-12-27 21:17 +0000
                Re: UB in asm Ben Bacarisse <ben.usenet@bsb.me.uk> - 2017-12-28 01:45 +0000
                Re: UB in asm David Brown <david.brown@hesbynett.no> - 2017-12-28 11:11 +0100
                Re: UB in asm Richard Damon <Richard@Damon-Family.org> - 2017-12-27 16:17 -0500
                Re: UB in asm supercat@casperkitty.com - 2017-12-27 13:51 -0800
                Re: UB in asm Richard Damon <Richard@Damon-Family.org> - 2017-12-27 17:49 -0500
                Re: UB in asm bartc <bc@freeuk.com> - 2017-12-27 22:08 +0000
                Re: UB in asm Richard Damon <Richard@Damon-Family.org> - 2017-12-27 17:41 -0500
                Re: UB in asm supercat@casperkitty.com - 2017-12-27 15:36 -0800
                Re: UB in asm Richard Damon <Richard@Damon-Family.org> - 2017-12-29 11:49 -0500
                Re: UB in asm supercat@casperkitty.com - 2017-12-29 12:53 -0800
                Re: UB in asm Richard Damon <Richard@Damon-Family.org> - 2017-12-29 21:27 -0500
                Re: UB in asm supercat@casperkitty.com - 2017-12-29 20:42 -0800
                Re: UB in asm Richard Damon <Richard@Damon-Family.org> - 2017-12-30 20:50 -0500
                Re: UB in asm supercat@casperkitty.com - 2018-01-02 08:41 -0800
                Re: UB in asm supercat@casperkitty.com - 2017-12-27 14:41 -0800
                Re: UB in asm David Brown <david.brown@hesbynett.no> - 2017-12-28 10:58 +0100
                Re: UB in asm already5chosen@yahoo.com - 2017-12-28 03:46 -0800
                Re: UB in asm Keith Thompson <kst-u@mib.org> - 2017-12-28 08:41 -0800
                Re: UB in asm bartc <bc@freeuk.com> - 2017-12-28 12:15 +0000
                Re: UB in asm Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2017-12-28 05:23 -0800
                Re: UB in asm bartc <bc@freeuk.com> - 2017-12-28 13:49 +0000
                Re: UB in asm Ben Bacarisse <ben.usenet@bsb.me.uk> - 2017-12-28 14:42 +0000
                Re: UB in asm Richard Damon <Richard@Damon-Family.org> - 2017-12-28 11:56 -0500
                Re: UB in asm supercat@casperkitty.com - 2017-12-28 09:58 -0800
                Re: UB in asm Keith Thompson <kst-u@mib.org> - 2017-12-28 11:07 -0800
                Re: UB in asm supercat@casperkitty.com - 2017-12-28 13:32 -0800
                Re: UB in asm Keith Thompson <kst-u@mib.org> - 2017-12-28 13:54 -0800
                Re: UB in asm supercat@casperkitty.com - 2017-12-28 14:06 -0800
                Re: UB in asm Keith Thompson <kst-u@mib.org> - 2017-12-28 15:14 -0800
                Re: UB in asm bartc <bc@freeuk.com> - 2017-12-28 19:45 +0000
                Re: UB in asm Ian Collins <ian-news@hotmail.com> - 2017-12-29 08:51 +1300
                Re: UB in asm supercat@casperkitty.com - 2017-12-28 12:14 -0800
                Re: UB in asm Richard Damon <Richard@Damon-Family.org> - 2017-12-28 20:03 -0500
                Re: UB in asm already5chosen@yahoo.com - 2017-12-29 02:28 -0800
                Re: UB in asm Geoff <geoff@invalid.invalid> - 2017-12-29 13:54 -0800
                Re: UB in asm Keith Thompson <kst-u@mib.org> - 2017-12-29 14:51 -0800
                Re: UB in asm Geoff <geoff@invalid.invalid> - 2017-12-29 16:04 -0800
                Re: UB in asm Ben Bacarisse <ben.usenet@bsb.me.uk> - 2017-12-30 02:06 +0000
                Re: UB in asm supercat@casperkitty.com - 2017-12-29 11:22 -0800
                Re: UB in asm Richard Damon <Richard@Damon-Family.org> - 2017-12-29 21:48 -0500
                Re: UB in asm David Brown <david.brown@hesbynett.no> - 2017-12-29 09:11 +0100
                Re: UB in asm Spiros Bousbouras <spibou@gmail.com> - 2017-12-29 08:52 +0000
                Re: UB in asm David Brown <david.brown@hesbynett.no> - 2017-12-29 10:58 +0100
                Re: UB in asm Spiros Bousbouras <spibou@gmail.com> - 2017-12-29 10:38 +0000
                Re: UB in asm already5chosen@yahoo.com - 2017-12-29 03:01 -0800
                Re: UB in asm already5chosen@yahoo.com - 2017-12-29 03:07 -0800
                Re: UB in asm David Brown <david.brown@hesbynett.no> - 2017-12-29 12:21 +0100
                Re: UB in asm supercat@casperkitty.com - 2017-12-29 12:20 -0800
                Re: UB in asm Robert Wessel <robertwessel2@yahoo.com> - 2017-12-29 16:05 -0600
                Re: UB in asm supercat@casperkitty.com - 2017-12-29 14:48 -0800
                Re: UB in asm Spiros Bousbouras <spibou@gmail.com> - 2017-12-29 23:05 +0000
                Re: UB in asm supercat@casperkitty.com - 2017-12-29 17:12 -0800
                Re: UB in asm Richard Damon <Richard@Damon-Family.org> - 2017-12-29 22:09 -0500
                Re: UB in asm Richard Damon <Richard@Damon-Family.org> - 2017-12-29 21:56 -0500
                Re: UB in asm Robert Wessel <robertwessel2@yahoo.com> - 2017-12-30 00:58 -0600
                Re: UB in asm bartc <bc@freeuk.com> - 2017-12-29 11:43 +0000
                Re: UB in asm David Brown <david.brown@hesbynett.no> - 2017-12-29 15:14 +0100
                Re: UB in asm Geoff <geoff@invalid.invalid> - 2017-12-29 14:11 -0800
                Re: UB in asm Ben Bacarisse <ben.usenet@bsb.me.uk> - 2017-12-30 02:27 +0000
                Re: UB in asm Richard Damon <Richard@Damon-Family.org> - 2017-12-29 22:25 -0500
                Re: UB in asm David Brown <david.brown@hesbynett.no> - 2017-12-28 14:55 +0100
                Re: UB in asm Keith Thompson <kst-u@mib.org> - 2017-12-28 08:46 -0800
                Re: UB in asm David Brown <david.brown@hesbynett.no> - 2017-12-28 17:50 +0100
                Re: UB in asm Ben Bacarisse <ben.usenet@bsb.me.uk> - 2017-12-28 14:30 +0000
                Re: UB in asm Richard Damon <Richard@Damon-Family.org> - 2017-12-28 11:29 -0500
                Re: UB in asm David Brown <david.brown@hesbynett.no> - 2017-12-28 17:46 +0100
                Re: UB in asm Richard Damon <Richard@Damon-Family.org> - 2017-12-28 12:17 -0500
                Re: UB in asm Keith Thompson <kst-u@mib.org> - 2017-12-28 09:25 -0800
                Re: UB in asm Ben Bacarisse <ben.usenet@bsb.me.uk> - 2017-12-28 17:08 +0000
                Re: UB in asm bartc <bc@freeuk.com> - 2017-12-28 14:57 +0000
                Re: UB in asm Ben Bacarisse <ben.usenet@bsb.me.uk> - 2017-12-28 16:09 +0000
                Re: UB in asm David Brown <david.brown@hesbynett.no> - 2017-12-28 17:11 +0100
                Re: UB in asm bartc <bc@freeuk.com> - 2017-12-28 17:04 +0000
                Re: UB in asm Keith Thompson <kst-u@mib.org> - 2017-12-28 09:16 -0800
                Re: UB in asm David Brown <david.brown@hesbynett.no> - 2017-12-28 20:44 +0100
                Re: UB in asm bartc <bc@freeuk.com> - 2017-12-28 20:13 +0000
                Re: UB in asm supercat@casperkitty.com - 2017-12-28 12:48 -0800
                Re: UB in asm David Brown <david.brown@hesbynett.no> - 2017-12-29 11:03 +0100
                Re: UB in asm Keith Thompson <kst-u@mib.org> - 2017-12-28 13:08 -0800
                Re: UB in asm Ian Collins <ian-news@hotmail.com> - 2017-12-29 11:17 +1300
                Re: UB in asm bartc <bc@freeuk.com> - 2017-12-28 22:54 +0000
                Re: UB in asm David Brown <david.brown@hesbynett.no> - 2017-12-29 11:07 +0100
                Re: UB in asm Keith Thompson <kst-u@mib.org> - 2017-12-28 15:46 -0800
                Re: UB in asm Richard Damon <Richard@Damon-Family.org> - 2017-12-28 17:00 -0500
                Re: UB in asm bartc <bc@freeuk.com> - 2017-12-28 23:39 +0000
                Re: UB in asm supercat@casperkitty.com - 2017-12-28 16:05 -0800
                Re: UB in asm Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2017-12-28 15:55 -0800
                Re: UB in asm Spiros Bousbouras <spibou@gmail.com> - 2017-12-29 07:49 +0000
                Re: UB in asm Reinhardt Behm <rbehm@hushmail.com> - 2017-12-29 15:46 +0800
                Re: UB in asm David Brown <david.brown@hesbynett.no> - 2017-12-29 10:34 +0100
                Re: UB in asm bartc <bc@freeuk.com> - 2017-12-29 12:05 +0000
                Re: UB in asm David Brown <david.brown@hesbynett.no> - 2017-12-29 14:51 +0100
                Re: UB in asm bartc <bc@freeuk.com> - 2017-12-29 15:09 +0000
                Re: UB in asm Keith Thompson <kst-u@mib.org> - 2017-12-29 09:05 -0800
                Re: UB in asm supercat@casperkitty.com - 2017-12-29 13:35 -0800
                Re: UB in asm Robert Wessel <robertwessel2@yahoo.com> - 2017-12-29 15:38 -0600
                Re: UB in asm supercat@casperkitty.com - 2017-12-29 14:15 -0800
                Re: UB in asm Richard Damon <Richard@Damon-Family.org> - 2017-12-29 18:07 -0500
                Re: UB in asm David Brown <david.brown@hesbynett.no> - 2017-12-30 13:12 +0100
                Re: UB in asm Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2017-12-30 05:19 -0800
                Re: UB in asm Richard Damon <Richard@Damon-Family.org> - 2017-12-30 09:33 -0500
                Re: UB in asm supercat <flatfinger@casperkitty.com> - 2017-12-30 09:50 -0800
                Re: UB in asm David Brown <david.brown@hesbynett.no> - 2017-12-30 21:47 +0100
                Re: UB in asm supercat@casperkitty.com - 2017-12-30 13:26 -0800
                Re: UB in asm Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2017-12-30 13:53 -0800
                Re: UB in asm supercat@casperkitty.com - 2017-12-30 14:19 -0800
                Re: UB in asm Richard Damon <Richard@Damon-Family.org> - 2017-12-30 19:13 -0500
                Re: UB in asm Reinhardt Behm <rbehm@hushmail.com> - 2017-12-29 15:42 +0800
                Re: UB in asm bartc <bc@freeuk.com> - 2017-12-29 20:33 +0000
                Re: UB in asm Richard Damon <Richard@Damon-Family.org> - 2017-12-29 18:27 -0500
                Re: UB in asm Ian Collins <ian-news@hotmail.com> - 2017-12-30 12:49 +1300
                Re: UB in asm bartc <bc@freeuk.com> - 2017-12-29 23:56 +0000
                Re: UB in asm supercat@casperkitty.com - 2017-12-29 16:59 -0800
                Re: UB in asm Richard Damon <Richard@Damon-Family.org> - 2017-12-29 22:45 -0500
                Re: UB in asm bartc <bc@freeuk.com> - 2017-12-30 12:49 +0000
                Re: UB in asm Richard Damon <Richard@Damon-Family.org> - 2017-12-30 15:01 -0500
                Re: UB in asm bartc <bc@freeuk.com> - 2017-12-30 20:42 +0000
                Re: UB in asm Keith Thompson <kst-u@mib.org> - 2017-12-30 14:11 -0800
                Re: UB in asm bartc <bc@freeuk.com> - 2017-12-30 22:25 +0000
                Re: UB in asm Richard Damon <Richard@Damon-Family.org> - 2017-12-30 19:02 -0500
                Re: UB in asm already5chosen@yahoo.com - 2017-12-31 03:25 -0800
                Re: UB in asm Richard Damon <Richard@Damon-Family.org> - 2017-12-31 19:48 -0500
                Re: UB in asm supercat@casperkitty.com - 2018-01-02 12:08 -0800
                Re: UB in asm Richard Damon <Richard@Damon-Family.org> - 2017-12-28 11:40 -0500
                Re: UB in asm bartc <bc@freeuk.com> - 2017-12-28 17:35 +0000
                Re: UB in asm Ben Bacarisse <ben.usenet@bsb.me.uk> - 2017-12-28 18:19 +0000
                Re: UB in asm Richard Damon <Richard@Damon-Family.org> - 2017-12-28 14:31 -0500
                Re: UB in asm jameskuyper@verizon.net - 2017-12-27 08:52 -0800
                Re: UB in asm Ben Bacarisse <ben.usenet@bsb.me.uk> - 2017-12-27 17:51 +0000
                Re: UB in asm bartc <bc@freeuk.com> - 2017-12-27 18:34 +0000
                Re: UB in asm Ben Bacarisse <ben.usenet@bsb.me.uk> - 2017-12-27 21:14 +0000
                Re: UB in asm bartc <bc@freeuk.com> - 2017-12-27 21:51 +0000
                Re: UB in asm Ben Bacarisse <ben.usenet@bsb.me.uk> - 2017-12-28 02:09 +0000
                Re: UB in asm David Brown <david.brown@hesbynett.no> - 2017-12-28 12:21 +0100
                Re: UB in asm asetofsymbols@gmail.com - 2017-12-28 00:14 -0800
                Re: UB in asm supercat@casperkitty.com - 2017-12-27 08:57 -0800
                Re: UB in asm Keith Thompson <kst-u@mib.org> - 2017-12-27 09:55 -0800
                Re: UB in asm supercat@casperkitty.com - 2017-12-27 11:07 -0800
                Re: UB in asm Geoff <geoff@invalid.invalid> - 2017-12-27 22:04 -0800
                Re: UB in asm David Brown <david.brown@hesbynett.no> - 2017-12-28 12:27 +0100
                Re: UB in asm Richard Damon <Richard@Damon-Family.org> - 2017-12-27 11:05 -0500
                Re: UB in asm Ian Collins <ian-news@hotmail.com> - 2017-12-28 16:36 +1300
                Re: UB in asm bartc <bc@freeuk.com> - 2017-12-28 12:31 +0000
                Re: UB in asm bartc <bc@freeuk.com> - 2017-12-28 12:35 +0000
                Re: UB in asm David Brown <david.brown@hesbynett.no> - 2017-12-28 15:05 +0100
                Re: UB in asm Ben Bacarisse <ben.usenet@bsb.me.uk> - 2017-12-28 14:47 +0000
                Re: UB in asm Richard Damon <Richard@Damon-Family.org> - 2017-12-28 11:45 -0500
                Re: UB in asm supercat@casperkitty.com - 2017-12-28 09:16 -0800
                Re: UB in asm supercat@casperkitty.com - 2017-12-28 11:00 -0800
                Re: UB in asm Reinhardt Behm <rbehm@hushmail.com> - 2017-12-29 15:30 +0800
                Re: UB in asm supercat@casperkitty.com - 2017-12-29 11:44 -0800
                Re: UB in asm Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2017-12-28 15:25 -0800
                Re: UB in asm Spiros Bousbouras <spibou@gmail.com> - 2017-12-29 08:14 +0000
                Re: UB in asm Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2017-12-29 03:29 -0800
                Re: UB in asm David Brown <david.brown@hesbynett.no> - 2017-12-29 14:57 +0100
                Re: UB in asm supercat@casperkitty.com - 2017-12-29 12:32 -0800
                Re: UB in asm jameskuyper@verizon.net - 2017-12-28 10:55 -0800
                Re: UB in asm David Brown <david.brown@hesbynett.no> - 2017-12-27 16:19 +0100
                Re: UB in asm supercat@casperkitty.com - 2017-12-27 09:10 -0800
                Re: UB in asm supercat@casperkitty.com - 2017-12-26 11:54 -0800
                Re: UB in asm David Brown <david.brown@hesbynett.no> - 2017-12-27 09:59 +0100
      Re: UB in asm already5chosen@yahoo.com - 2017-12-24 07:03 -0800

csiph-web