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

2023-03-26 Thread David Malcolm via Gcc
On Sat, 2023-03-25 at 15:38 -0400, Eric Feng via Gcc wrote: > Hi GCC community, > > For GSoC, I am extremely interested in working on the selected > project > idea with respect to extending the static analysis pass. In > particular, porting gcc-python-plugin's cpychecker to a plugin for > GCC > -f

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

2023-03-26 Thread Shengyu Huang via Gcc
Hi Dave, (I forgot to cc the list in the last email and it was too late to unsend. Sorry for sending you the same email again.) > On 20 Mar 2023, at 23:50, David Malcolm > wrote: > > I think if you try the patch to sm.cc above, then you'll see > vari

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

2023-03-26 Thread David Malcolm via Gcc
On Sun, 2023-03-26 at 18:03 +0200, Shengyu Huang wrote: > Hi Dave, > > (I forgot to cc the list in the last email and it was too late to > unsend. Sorry for sending you the same email again.) > > > On 20 Mar 2023, at 23:50, David Malcolm > > mailto:dmalc...@redhat.com>> wrote: > > > > I think if

GCC ASAN breaks glob()?

2023-03-26 Thread Paul Smith
OK here's something super-strange I discovered: Enabling -faddress=sanitize in GCC, causes the glob(3) function to misbehave. I'm using GCC 11.3 / glibc 2.35 (x86_64 native). I have this simple program: $ cat /tmp/tstglob.c #include #include int main(int argc, char *argv[]) { glob_t gl =

Re: GCC ASAN breaks glob()?

2023-03-26 Thread Andrew Pinski via Gcc
On Sun, Mar 26, 2023 at 12:01 PM Paul Smith wrote: > > OK here's something super-strange I discovered: > > Enabling -faddress=sanitize in GCC, causes the glob(3) function to > misbehave. > > I'm using GCC 11.3 / glibc 2.35 (x86_64 native). I have this simple > program: Maybe https://gcc.gnu.org/

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

2023-03-26 Thread Shengyu Huang via Gcc
Hi Dave, > On 26 Mar 2023, at 19:14, David Malcolm wrote: > > 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

gcc-13-20230326 is now available

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