gcc-13-20230312 is now available

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

Re: [GSoC][Static Analyzer] Ideas for proposal

2023-03-12 Thread Shengyu Huang via Gcc
Hi Dave, >> >> 4. What’s the most interesting to me are PR103533 >> (https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103533), > > Turning on taint detection by default would be a great project. It > would be good to run the integration tests: > https://github.com/davidmalcolm/gcc-analyzer-integra