Re: GSoC: Working on the static analyzer

2022-01-16 Thread David Malcolm via Gcc
On Fri, 2022-01-14 at 22:15 +0530, Mir Immad wrote: > HI David, > I've been tinkering with the static analyzer for the last few days. I > find > the project of adding SARIF output to the analyzer intresting. I'm > writing > this to let you know that I'm trying to learn the codebase. > Thank you. E

Re: Accessing const parameter of GIMPLE_CALL

2022-01-16 Thread David Malcolm via Gcc
On Sun, 2022-01-16 at 18:52 +0530, Shubham Narlawar via Gcc wrote: > Hello, Hi; various notes inline below... > > My aim is to iterate over gimple call stmt parameters and check > whether it is constant or constant expression and mark/store them for > some gimple transformation. > > I have an i

gcc-12-20220116 is now available

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

Hilfsfonds – 5 Millionen €

2022-01-16 Thread 209052929
- This e-mail is subjected to the disclaimer that can be viewed at: * http://www.cut.ac.za/www/disclaimer/email_disclaimer -

Accessing const parameter of GIMPLE_CALL

2022-01-16 Thread Shubham Narlawar via Gcc
Hello, My aim is to iterate over gimple call stmt parameters and check whether it is constant or constant expression and mark/store them for some gimple transformation. I have an intrinsic function call of the following - __builtin_xyz(void*, 7, addr + 10); I want to find its parameters which a

Re: reordering of trapping operations and volatile

2022-01-16 Thread Martin Uecker via Gcc
Am Samstag, den 15.01.2022, 16:38 -0500 schrieb Paul Koning: > > On Jan 15, 2022, at 4:28 PM, Martin Sebor wrote: > > > > On 1/14/22 07:58, Paul Koning via Gcc wrote: > > > > On Jan 14, 2022, at 9:15 AM, Michael Matz via Gcc > > > > wrote: > > > > > > > > > ... > > > > But right now that's equ

Re: Many analyzer failures on non-Linux system (x86_64-apple-darwin)

2022-01-16 Thread FX via Gcc
> No, that's "dg-do compile" (as in "compile but don't assemble"). I can confirm that this patch: diff --git a/gcc/testsuite/gcc.dg/analyzer/asm-x86-lp64-1.c b/gcc/testsuite/gcc.dg/analyzer/asm-x86-lp64-1.c index c235e22fd01..4730255bb3c 100644 --- a/gcc/testsuite/gcc.dg/analyzer/asm-x86-lp64-1.