Re: Problems when building NT kernel drivers with GCC / LD

2023-04-01 Thread Pali Rohár via Gcc
On Monday 20 February 2023 19:25:22 Pali Rohár wrote: > On Tuesday 03 January 2023 11:06:26 Nick Clifton wrote: > > Hi Pali, > > > > > Hello! I would like to remind this thread for gcc/binutils developers. > > > Most of these issues are still present and cause problems for compiling > > > native P

Re: [GSoC][Static Analyzer] First proposal draft and a few more questions/requests

2023-04-01 Thread Shengyu Huang via Gcc
Hi Dave, >> >> I has looked into compiling those files with the patch some time ago; >> looking at my notes, one issue was with this on-stack buffer: >>char extra[1024]; >> declared outside the loop. Inside the loop, it gets modified in >> various ways: >>extra[0] = '\0'; >> and >>if

Humor in GCC

2023-04-01 Thread Eric Gallager via Gcc
Happy April Fools' Day! In the spirit of the day, I've done a brief survey of humor in other FOSS projects, and how they could be used as inspiration for fun features in GCC. * Emacs: The etc/ folder in the emacs sources has plenty of humorous material in it, most obviously, etc/JOKES (although, s

GSoC: want to take part in `Extend the static analysis pass for CPython Extension`

2023-04-01 Thread Sun Steven via Gcc
Hello, I want to take part in this project. b. Write a plugin to add checking for usage of the CPython API (e.g. reference-counting); see https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107646 I know the deadline is arriving, but this idea just came to me now. Self-intro: I am a fan of C++, and

[GSOC] few question about Bypass assembler when generating LTO object files

2023-04-01 Thread Rishi Raj via Gcc
Hii Everyone, I had already expressed my interest in the " Bypass assembler when generating LTO object files" project and making a proposal for the same. I know I should have done it earlier but I was admitted to the hospital for past few days :(. I have a few doubts. 1) "One problem is that the o

MIN/MAX and trapping math and NANs

2023-04-01 Thread Andrew Pinski via Gcc
Hi, I noticed while working on phi-opt, that MIN/MAX EXPR (and the corresponding RTL codes) both can return true for trapping even if NANs are not honored (that is -ffinite-math-only). Is this true? I would have assumed when -ffinite-math-only -fno-signed-zeros is used, then MIN/MAX would be the

gcc-12-20230401 is now available

2023-04-01 Thread GCC Administrator via Gcc
Snapshot gcc-12-20230401 is now available on https://gcc.gnu.org/pub/gcc/snapshots/12-20230401/ 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

Re: [GSoC] Interest and initial proposal for project on reimplementing cpychecker as -fanalyzer plugin

2023-04-01 Thread Eric Feng via Gcc
> For the task above, I think it's almost all there, it's "just" a case > of implementing the special-case knowledge about the CPython API, > mostly via known_function subclasses. Sounds good. > In cpychecker I added some custom function attributes: > https://gcc-python-plugin.readthedocs.io/e