public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug sanitizer/95617] New: [11 regression] many excess errors starting with r11-1117
@ 2020-06-09 19:56 seurer at linux dot vnet.ibm.com
  2020-06-09 20:07 ` [Bug sanitizer/95617] " marxin at gcc dot gnu.org
                   ` (4 more replies)
  0 siblings, 5 replies; 6+ messages in thread
From: seurer at linux dot vnet.ibm.com @ 2020-06-09 19:56 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95617

            Bug ID: 95617
           Summary: [11 regression] many excess errors starting with
                    r11-1117
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: sanitizer
          Assignee: unassigned at gcc dot gnu.org
          Reporter: seurer at linux dot vnet.ibm.com
                CC: dodji at gcc dot gnu.org, dvyukov at gcc dot gnu.org,
                    jakub at gcc dot gnu.org, kcc at gcc dot gnu.org, marxin at gcc dot gnu.org
  Target Milestone: ---

g:4089df8ef4a63126b0774c39b6638845244c20d2, r11-1117

There are a whole bunch of these excess errors plus another bunch of scan tree
errors:

spawn -ignore SIGHUP
/home/seurer/gcc/git/build/gcc-test/gcc/testsuite/g++2/../../xg++
-B/home/seurer/gcc/git/build/gcc-test/gcc/testsuite/g++2/../../
/home/seurer/gcc/git/gcc-test/gcc/testsuite/c-c++-common/asan/inline-kernel.c
-fsanitize=address -g
-I/home/seurer/gcc/git/gcc-test/gcc/testsuite/../../libsanitizer/include
-fno-diagnostics-show-caret -fno-diagnostics-show-line-numbers
-fdiagnostics-color=never -fdiagnostics-urls=never -nostdinc++
-I/home/seurer/gcc/git/build/gcc-test/powerpc64-unknown-linux-gnu/libstdc++-v3/include/powerpc64-unknown-linux-gnu
-I/home/seurer/gcc/git/build/gcc-test/powerpc64-unknown-linux-gnu/libstdc++-v3/include
-I/home/seurer/gcc/git/gcc-test/libstdc++-v3/libsupc++
-I/home/seurer/gcc/git/gcc-test/libstdc++-v3/include/backward
-I/home/seurer/gcc/git/gcc-test/libstdc++-v3/testsuite/util -fmessage-length=0
-O0 -fsanitize=kernel-address -c -O3 -fdump-tree-optimized -S -o
inline-kernel.s^M
cc1plus: error: '-fsanitize=address' is incompatible with
'-fsanitize=kernel-address'^M
compiler exited with status 1
FAIL: c-c++-common/asan/inline-kernel.c   -O0  (test for excess errors)
Excess errors:
cc1plus: error: '-fsanitize=address' is incompatible with
'-fsanitize=kernel-address'

> FAIL: c-c++-common/asan/inline-kernel.c   -O0  (test for excess errors)
> FAIL: c-c++-common/asan/inline-kernel.c   -O0  (test for excess errors)
> FAIL: c-c++-common/asan/inline-kernel.c   -O1  (test for excess errors)
> FAIL: c-c++-common/asan/inline-kernel.c   -O1  (test for excess errors)
> FAIL: c-c++-common/asan/inline-kernel.c   -O2  (test for excess errors)
> FAIL: c-c++-common/asan/inline-kernel.c   -O2  (test for excess errors)
> FAIL: c-c++-common/asan/inline-kernel.c   -O2 -flto -fno-use-linker-plugin -flto-partition=none  (test for excess errors)
> FAIL: c-c++-common/asan/inline-kernel.c   -O2 -flto -fno-use-linker-plugin -flto-partition=none  (test for excess errors)
> FAIL: c-c++-common/asan/inline-kernel.c   -O2 -flto -fuse-linker-plugin -fno-fat-lto-objects  (test for excess errors)
> FAIL: c-c++-common/asan/inline-kernel.c   -O2 -flto -fuse-linker-plugin -fno-fat-lto-objects  (test for excess errors)
> FAIL: c-c++-common/asan/inline-kernel.c   -O3 -g  (test for excess errors)
> FAIL: c-c++-common/asan/inline-kernel.c   -O3 -g  (test for excess errors)
> FAIL: c-c++-common/asan/inline-kernel.c   -Os  (test for excess errors)
> FAIL: c-c++-common/asan/inline-kernel.c   -Os  (test for excess errors)
> FAIL: c-c++-common/tsan/inline.c   -O0   scan-tree-dump-times optimized "Function do_not_sanitize" 1
> FAIL: c-c++-common/tsan/inline.c   -O0   scan-tree-dump-times optimized "Function do_not_sanitize" 1
> FAIL: c-c++-common/tsan/inline.c   -O2   scan-tree-dump-times optimized "Function do_not_sanitize" 1
> FAIL: c-c++-common/tsan/inline.c   -O2   scan-tree-dump-times optimized "Function do_not_sanitize" 1
> FAIL: c-c++-common/ubsan/inline.c   -O0   scan-tree-dump-times optimized "Function do_not_sanitize" 1
> FAIL: c-c++-common/ubsan/inline.c   -O1   scan-tree-dump-times optimized "Function do_not_sanitize" 1
> FAIL: c-c++-common/ubsan/inline.c   -O2   scan-tree-dump-times optimized "Function do_not_sanitize" 1
> FAIL: c-c++-common/ubsan/inline.c   -O2 -flto -fno-use-linker-plugin -flto-partition=none   scan-tree-dump-times optimized "Function do_not_sanitize" 1
> FAIL: c-c++-common/ubsan/inline.c   -O3 -g   scan-tree-dump-times optimized "Function do_not_sanitize" 1
> FAIL: c-c++-common/ubsan/inline.c   -Os   scan-tree-dump-times optimized "Function do_not_sanitize" 1
> FAIL: c-c++-common/ubsan/inline.c  -std=gnu++14  scan-tree-dump-times optimized "Function do_not_sanitize" 1
> FAIL: c-c++-common/ubsan/inline.c  -std=gnu++17  scan-tree-dump-times optimized "Function do_not_sanitize" 1
> FAIL: c-c++-common/ubsan/inline.c  -std=gnu++2a  scan-tree-dump-times optimized "Function do_not_sanitize" 1
> FAIL: c-c++-common/ubsan/inline.c  -std=gnu++98  scan-tree-dump-times optimized "Function do_not_sanitize" 1

^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug sanitizer/95617] [11 regression] many excess errors starting with r11-1117
  2020-06-09 19:56 [Bug sanitizer/95617] New: [11 regression] many excess errors starting with r11-1117 seurer at linux dot vnet.ibm.com
@ 2020-06-09 20:07 ` marxin at gcc dot gnu.org
  2020-06-09 20:27 ` seurer at linux dot vnet.ibm.com
                   ` (3 subsequent siblings)
  4 siblings, 0 replies; 6+ messages in thread
From: marxin at gcc dot gnu.org @ 2020-06-09 20:07 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95617

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2020-06-09
             Status|UNCONFIRMED                 |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |marxin at gcc dot gnu.org

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Sorry for the breakage.
I've just pushed a fix for part of errors. Can you please paste chunk of the
log about the failing c-c++-common/ubsan/inline.c test-case?

^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug sanitizer/95617] [11 regression] many excess errors starting with r11-1117
  2020-06-09 19:56 [Bug sanitizer/95617] New: [11 regression] many excess errors starting with r11-1117 seurer at linux dot vnet.ibm.com
  2020-06-09 20:07 ` [Bug sanitizer/95617] " marxin at gcc dot gnu.org
@ 2020-06-09 20:27 ` seurer at linux dot vnet.ibm.com
  2020-06-09 21:15 ` marxin at gcc dot gnu.org
                   ` (2 subsequent siblings)
  4 siblings, 0 replies; 6+ messages in thread
From: seurer at linux dot vnet.ibm.com @ 2020-06-09 20:27 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95617

--- Comment #2 from Bill Seurer <seurer at linux dot vnet.ibm.com> ---
oops, thought I had included that:

wn-linux-gnu/libstdc++-v3/include/powerpc64-unknown-linux-gnu
-I/home/seurer/gcc/git/build/gcc-test/powerpc64-unknown-linux-gnu/libstdc++-v3/include
-I/home/seurer/gcc/git/gcc-test/libstdc++-v3/libsupc++
-I/home/seurer/gcc/git/gcc-test/libstdc++-v3/include/backward
-I/home/seurer/gcc/git/gcc-test/libstdc++-v3/testsuite/util -fmessage-length=0
-O0 -fsanitize=thread -c -O3 -fdump-tree-optimized -S -o inline.s^M
PASS: c-c++-common/tsan/inline.c   -O0  (test for excess errors)
c-c++-common/tsan/inline.c   -O0  : pattern found 0 times
FAIL: c-c++-common/tsan/inline.c   -O0   scan-tree-dump-times optimized
"Function do_not_sanitize" 1
Executing on host:
/home/seurer/gcc/git/build/gcc-test/gcc/testsuite/g++25/../../xg++
-B/home/seurer/gcc/git/build/gcc-test/gcc/testsuite/g++25/../../
/home/seurer/gcc/git/gcc-test/gcc/testsuite/c-c++-common/tsan/inline.c   
-fsanitize=thread -g -fno-diagnostics-show-caret
-fno-diagnostics-show-line-numbers -fdiagnostics-color=never 
-fdiagnostics-urls=never  -nostdinc++
-I/home/seurer/gcc/git/build/gcc-test/powerpc64-unknown-linux-gnu/libstdc++-v3/include/powerpc64-unknown-linux-gnu
-I/home/seurer/gcc/git/build/gcc-test/powerpc64-unknown-linux-gnu/libstdc++-v3/include
-I/home/seurer/gcc/git/gcc-test/libstdc++-v3/libsupc++
-I/home/seurer/gcc/git/gcc-test/libstdc++-v3/include/backward
-I/home/seurer/gcc/git/gcc-test/libstdc++-v3/testsuite/util -fmessage-length=0 
 -O2  -fsanitize=thread -c -O3 -fdump-tree-optimized  -S -o inline.s   
(timeout = 300)
spawn -ignore SIGHUP
/home/seurer/gcc/git/build/gcc-test/gcc/testsuite/g++25/../../xg++
-B/home/seurer/gcc/git/build/gcc-test/gcc/testsuite/g++25/../../
/home/seurer/gcc/git/gcc-test/gcc/testsuite/c-c++-common/tsan/inline.c
-fsanitize=thread -g -fno-diagnostics-show-caret
-fno-diagnostics-show-line-numbers -fdiagnostics-color=never
-fdiagnostics-urls=never -nostdinc++
-I/home/seurer/gcc/git/build/gcc-test/powerpc64-unknown-linux-gnu/libstdc++-v3/include/powerpc64-unknown-linux-gnu
-I/home/seurer/gcc/git/build/gcc-test/powerpc64-unknown-linux-gnu/libstdc++-v3/include
-I/home/seurer/gcc/git/gcc-test/libstdc++-v3/libsupc++
-I/home/seurer/gcc/git/gcc-test/libstdc++-v3/include/backward
-I/home/seurer/gcc/git/gcc-test/libstdc++-v3/testsuite/util -fmessage-length=0
-O2 -fsanitize=thread -c -O3 -fdump-tree-optimized -S -o inline.s^M
PASS: c-c++-common/tsan/inline.c   -O2  (test for excess errors)
c-c++-common/tsan/inline.c   -O2  : pattern found 0 times
FAIL: c-c++-common/tsan/inline.c   -O2   scan-tree-dump-times optimized
"Function do_not_sanitize" 1
...etc...

spawn -ignore SIGHUP
/home/seurer/gcc/git/build/gcc-test/gcc/testsuite/g++/../../xg++
-B/home/seurer/gcc/git/build/gcc-test/gcc/testsuite/g++/../../
/home/seurer/gcc/git/gcc-test/gcc/testsuite/c-c++-common/ubsan/inline.c
-fno-diagnostics-show-caret -fno-diagnostics-show-line-numbers
-fdiagnostics-color=never -fdiagnostics-urls=never -nostdinc++
-I/home/seurer/gcc/git/build/gcc-test/powerpc64-unknown-linux-gnu/libstdc++-v3/include/powerpc64-unknown-linux-gnu
-I/home/seurer/gcc/git/build/gcc-test/powerpc64-unknown-linux-gnu/libstdc++-v3/include
-I/home/seurer/gcc/git/gcc-test/libstdc++-v3/libsupc++
-I/home/seurer/gcc/git/gcc-test/libstdc++-v3/include/backward
-I/home/seurer/gcc/git/gcc-test/libstdc++-v3/testsuite/util -fmessage-length=0
-std=gnu++98 -fsanitize=vla-bound -c -O3 -fdump-tree-optimized -S -o inline.s^M
PASS: c-c++-common/ubsan/inline.c  -std=gnu++98 (test for excess errors)
c-c++-common/ubsan/inline.c  -std=gnu++98 : pattern found 0 times
FAIL: c-c++-common/ubsan/inline.c  -std=gnu++98  scan-tree-dump-times optimized
"Function do_not_sanitize" 1
Executing on host:
/home/seurer/gcc/git/build/gcc-test/gcc/testsuite/g++/../../xg++
-B/home/seurer/gcc/git/build/gcc-test/gcc/testsuite/g++/../../
/home/seurer/gcc/git/gcc-test/gcc/testsuite/c-c++-common/ubsan/inline.c   
-fno-diagnostics-show-caret -fno-diagnostics-show-line-numbers
-fdiagnostics-color=never  -fdiagnostics-urls=never  -nostdinc++
-I/home/seurer/gcc/git/build/gcc-test/powerpc64-unknown-linux-gnu/libstdc++-v3/include/powerpc64-unknown-linux-gnu
-I/home/seurer/gcc/git/build/gcc-test/powerpc64-unknown-linux-gnu/libstdc++-v3/include
-I/home/seurer/gcc/git/gcc-test/libstdc++-v3/libsupc++
-I/home/seurer/gcc/git/gcc-test/libstdc++-v3/include/backward
-I/home/seurer/gcc/git/gcc-test/libstdc++-v3/testsuite/util -fmessage-length=0 
-std=gnu++14 -fsanitize=vla-bound -c -O3 -fdump-tree-optimized  -S -o inline.s 
  (timeout = 300)
spawn -ignore SIGHUP
/home/seurer/gcc/git/build/gcc-test/gcc/testsuite/g++/../../xg++
-B/home/seurer/gcc/git/build/gcc-test/gcc/testsuite/g++/../../
/home/seurer/gcc/git/gcc-test/gcc/testsuite/c-c++-common/ubsan/inline.c
-fno-diagnostics-show-caret -fno-diagnostics-show-line-numbers
-fdiagnostics-color=never -fdiagnostics-urls=never -nostdinc++
-I/home/seurer/gcc/git/build/gcc-test/powerpc64-unknown-linux-gnu/libstdc++-v3/include/powerpc64-unknown-linux-gnu
-I/home/seurer/gcc/git/build/gcc-test/powerpc64-unknown-linux-gnu/libstdc++-v3/include
-I/home/seurer/gcc/git/gcc-test/libstdc++-v3/libsupc++
-I/home/seurer/gcc/git/gcc-test/libstdc++-v3/include/backward
-I/home/seurer/gcc/git/gcc-test/libstdc++-v3/testsuite/util -fmessage-length=0
-std=gnu++14 -fsanitize=vla-bound -c -O3 -fdump-tree-optimized -S -o inline.s^M
PASS: c-c++-common/ubsan/inline.c  -std=gnu++14 (test for excess errors)
c-c++-common/ubsan/inline.c  -std=gnu++14 : pattern found 0 times
...etc...

^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug sanitizer/95617] [11 regression] many excess errors starting with r11-1117
  2020-06-09 19:56 [Bug sanitizer/95617] New: [11 regression] many excess errors starting with r11-1117 seurer at linux dot vnet.ibm.com
  2020-06-09 20:07 ` [Bug sanitizer/95617] " marxin at gcc dot gnu.org
  2020-06-09 20:27 ` seurer at linux dot vnet.ibm.com
@ 2020-06-09 21:15 ` marxin at gcc dot gnu.org
  2020-06-10  7:06 ` rguenth at gcc dot gnu.org
  2020-06-10  8:23 ` marxin at gcc dot gnu.org
  4 siblings, 0 replies; 6+ messages in thread
From: marxin at gcc dot gnu.org @ 2020-06-09 21:15 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95617

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |WAITING

--- Comment #3 from Martin Liška <marxin at gcc dot gnu.org> ---
I can't see that on gcc112 machine:

PASS: c-c++-common/ubsan/inline.c   -O3 -g  (test for excess errors)
PASS: c-c++-common/ubsan/inline.c   -O3 -g   scan-tree-dump-times optimized
"Function do_not_sanitize" 1
Executing on host: /home/marxin/Programming/gcc/objdir/gcc/xgcc
-B/home/marxin/Programming/gcc/objdir/gcc/
/home/marxin/Programming/gcc/gcc/testsuite/c-c++-common/ubsan/inline.c  
-B/home/marxin/Programming/gcc/objdir/powerpc64le-unknown-linux-gnu/./libsanitizer/

-B/home/marxin/Programming/gcc/objdir/powerpc64le-unknown-linux-gnu/./libsanitizer/ubsan/

-L/home/marxin/Programming/gcc/objdir/powerpc64le-unknown-linux-gnu/./libsanitizer/ubsan/.libs
-fno-diagnostics-show-caret -fno-diagnostics-show-line-numbers
-fdiagnostics-color=never  -fdiagnostics-urls=never    -Os 
-fsanitize=vla-bound -c -O3 -fdump-tree-optimized -S   -o inline.s    (timeout
= 300)
spawn -ignore SIGHUP /home/marxin/Programming/gcc/objdir/gcc/xgcc
-B/home/marxin/Programming/gcc/objdir/gcc/
/home/marxin/Programming/gcc/gcc/testsuite/c-c++-common/ubsan/inline.c
-B/home/marxin/Programming/gcc/objdir/powerpc64le-unknown-linux-gnu/./libsanitizer/
-B/home/marxin/Programming/gcc/objdir/powerpc64le-unknown-linux-gnu/./libsanitizer/ubsan/
-L/home/marxin/Programming/gcc/objdir/powerpc64le-unknown-linux-gnu/./libsanitizer/ubsan/.libs
-fno-diagnostics-show-caret -fno-diagnostics-show-line-numbers
-fdiagnostics-color=never -fdiagnostics-urls=never -Os -fsanitize=vla-bound -c
-O3 -fdump-tree-optimized -S -o inline.s
PASS: c-c++-common/ubsan/inline.c   -Os  (test for excess errors)
PASS: c-c++-common/ubsan/inline.c   -Os   scan-tree-dump-times optimized
"Function do_not_sanitize" 1
Executing on host: /home/marxin/Programming/gcc/objdir/gcc/xgcc
-B/home/marxin/Programming/gcc/objdir/gcc/
/home/marxin/Programming/gcc/gcc/testsuite/c-c++-common/ubsan/inline.c  
-B/home/marxin/Programming/gcc/objdir/powerpc64le-unknown-linux-gnu/./libsanitizer/

-B/home/marxin/Programming/gcc/objdir/powerpc64le-unknown-linux-gnu/./libsanitizer/ubsan/

-L/home/marxin/Programming/gcc/objdir/powerpc64le-unknown-linux-gnu/./libsanitizer/ubsan/.libs
-fno-diagnostics-show-caret -fno-diagnostics-show-line-numbers
-fdiagnostics-color=never  -fdiagnostics-urls=never    -O2 -flto
-fno-use-linker-plugin -flto-partition=none  -fsanitize=vla-bound -c -O3
-fdump-tree-optimized -S   -o inline.s    (timeout = 300)
spawn -ignore SIGHUP /home/marxin/Programming/gcc/objdir/gcc/xgcc
-B/home/marxin/Programming/gcc/objdir/gcc/
/home/marxin/Programming/gcc/gcc/testsuite/c-c++-common/ubsan/inline.c
-B/home/marxin/Programming/gcc/objdir/powerpc64le-unknown-linux-gnu/./libsanitizer/
-B/home/marxin/Programming/gcc/objdir/powerpc64le-unknown-linux-gnu/./libsanitizer/ubsan/
-L/home/marxin/Programming/gcc/objdir/powerpc64le-unknown-linux-gnu/./libsanitizer/ubsan/.libs
-fno-diagnostics-show-caret -fno-diagnostics-show-line-numbers
-fdiagnostics-color=never -fdiagnostics-urls=never -O2 -flto
-fno-use-linker-plugin -flto-partition=none -fsanitize=vla-bound -c -O3
-fdump-tree-optimized -S -o inline.s

^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug sanitizer/95617] [11 regression] many excess errors starting with r11-1117
  2020-06-09 19:56 [Bug sanitizer/95617] New: [11 regression] many excess errors starting with r11-1117 seurer at linux dot vnet.ibm.com
                   ` (2 preceding siblings ...)
  2020-06-09 21:15 ` marxin at gcc dot gnu.org
@ 2020-06-10  7:06 ` rguenth at gcc dot gnu.org
  2020-06-10  8:23 ` marxin at gcc dot gnu.org
  4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu.org @ 2020-06-10  7:06 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95617

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |11.0

^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug sanitizer/95617] [11 regression] many excess errors starting with r11-1117
  2020-06-09 19:56 [Bug sanitizer/95617] New: [11 regression] many excess errors starting with r11-1117 seurer at linux dot vnet.ibm.com
                   ` (3 preceding siblings ...)
  2020-06-10  7:06 ` rguenth at gcc dot gnu.org
@ 2020-06-10  8:23 ` marxin at gcc dot gnu.org
  4 siblings, 0 replies; 6+ messages in thread
From: marxin at gcc dot gnu.org @ 2020-06-10  8:23 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95617

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |RESOLVED
         Resolution|---                         |FIXED

--- Comment #4 from Martin Liška <marxin at gcc dot gnu.org> ---
And also gcc110.fsffrance.org is happy. Please reopen if the issue still
exists.

^ permalink raw reply	[flat|nested] 6+ messages in thread

end of thread, other threads:[~2020-06-10  8:23 UTC | newest]

Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-06-09 19:56 [Bug sanitizer/95617] New: [11 regression] many excess errors starting with r11-1117 seurer at linux dot vnet.ibm.com
2020-06-09 20:07 ` [Bug sanitizer/95617] " marxin at gcc dot gnu.org
2020-06-09 20:27 ` seurer at linux dot vnet.ibm.com
2020-06-09 21:15 ` marxin at gcc dot gnu.org
2020-06-10  7:06 ` rguenth at gcc dot gnu.org
2020-06-10  8:23 ` marxin at gcc dot gnu.org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).