Opened 20 months ago

Last modified 18 months ago

#15074 upstream bug

Possible uninitialised values in ffi64.c

Reported by: jrp Owned by:
Priority: normal Milestone: 8.8.1
Component: Compiler (FFI) Version: 8.5
Keywords: Cc:
Operating System: Linux Architecture: x86_64 (amd64)
Type of failure: Other Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:

Description

Running the clang static analyser when building ghc HEAD throws up 3 possible errors in x86/ffi64.c initialisation / out-of-bounds errors, shown in the attached annotated files showing how they could occur.

Attachments (3)

1_src_x86_ffi64.c.html (141.4 KB) - added by jrp 20 months ago.
Clang Analyse output
2_src_x86_ffi64.c.html (141.0 KB) - added by jrp 20 months ago.
3_src_x86_ffi64.c.html (137.6 KB) - added by jrp 20 months ago.

Download all attachments as: .zip

Change History (7)

Changed 20 months ago by jrp

Attachment: 1_src_x86_ffi64.c.html added

Clang Analyse output

Changed 20 months ago by jrp

Attachment: 2_src_x86_ffi64.c.html added

Changed 20 months ago by jrp

Attachment: 3_src_x86_ffi64.c.html added

comment:1 Changed 20 months ago by bgamari

I believe this file is actually from libffi. Do you think you could report this upstream (https://github.com/libffi/libffi/issues)?

comment:2 Changed 20 months ago by jrp

Thanks. Done.

comment:3 Changed 20 months ago by bgamari

Status: newupstream

comment:4 Changed 18 months ago by bgamari

Milestone: 8.6.18.8.1

These won't be addressed by GHC 8.6.

Note: See TracTickets for help on using tickets.