[Analyzer] Transform a region 't[i]' to its svalue form '&t + (i * element_size)'

2023-11-16 Thread Pierrick Philippe
Hi all, hi David, I am trying to use the analyzer API to transform an element_region (such as 't[1]') to a binop_svalue with an inner region_svalue (such as '&t + 4' in case of integers array) for analysis purpose. I managed to do it the other way around (i.e. from a binop_svalue to an eleme

[ARM] unexpected sizeof() of a complex packed type

2023-11-16 Thread Dmitry Antipov
(The following sample is taken from my LKML post at https://lkml.org/lkml/2023/11/15/213) $ cat t-build-bug.c struct vring_tx_mac { unsigned int d[3]; unsigned int ucode_cmd; } __attribute__((packed)); struct vring_rx_mac { unsigned int d0; unsigned int d1;

Re: Checks that autotools generated files were re-generated correctly

2023-11-16 Thread Martin Jambor
Hi, On Wed, Nov 15 2023, Mark Wielaard wrote: > Hi! (adding gdb and binutils to the CC) > > On Thu, Nov 09, 2023 at 12:30:59AM +0100, Mark Wielaard wrote: >> On Mon, Nov 06, 2023 at 06:04:48PM +0100, Martin Jambor wrote: >> > I have inherited Martin Liška's buildbot script that checks that all >>

gcc-11-20231116 is now available

2023-11-16 Thread GCC Administrator via Gcc
Snapshot gcc-11-20231116 is now available on https://gcc.gnu.org/pub/gcc/snapshots/11-20231116/ and on various mirrors, see https://gcc.gnu.org/mirrors.html for details. This snapshot has been generated from the GCC 11 git branch with the following options: git://gcc.gnu.org/git/gcc.git branch

[PATCH] C++: Introduce the extended attribute for asm declarations

2023-11-16 Thread Julian Waters via Gcc
Hi all, This is the beginning of a patch to introduce the extended attribute for asm declarations proposed in https://gcc.gnu.org/pipermail/gcc-patches/2023-November/636563.html. I will need some reviewer help in implementing this patch, as I am not very familiar with gcc's internals. The attribu