Re: GSoC 2021 gcc analyzer project

2021-05-18 Thread Ankur Saini via Gcc
> On 19-May-2021, at 4:12 AM, David Malcolm wrote: > > [sending this offlist for now] > > Hi Ankur Hi > > I'm mentoring your "Extending C++ support for static analysis pass" > GSoC project, so I thought I'd say "hi"... or looking at your email > address should that be "hail"? :-) XD > >

Re: [GSoC-2021] Interested in project `Extend the static analysis pass`

2021-04-12 Thread Saloni Garg via Gcc
On Mon, Apr 12, 2021 at 7:35 PM David Malcolm wrote: > On Sun, 2021-04-11 at 17:06 +0530, Saloni Garg wrote: > > On Sun, Apr 11, 2021 at 12:14 AM David Malcolm > > wrote: > > > > > On Sat, 2021-04-10 at 21:18 +0530, Saloni Garg wrote: > > > > On Thu, Apr 8, 2021 at 8:19 AM David Malcolm > > > >

Re: [GSoC-2021] Interested in project `Extend the static analysis pass`

2021-04-12 Thread David Malcolm via Gcc
On Sun, 2021-04-11 at 17:06 +0530, Saloni Garg wrote: > On Sun, Apr 11, 2021 at 12:14 AM David Malcolm > wrote: > > > On Sat, 2021-04-10 at 21:18 +0530, Saloni Garg wrote: > > > On Thu, Apr 8, 2021 at 8:19 AM David Malcolm > > > > > > wrote: > > > > > > > On Wed, 2021-04-07 at 01:59 +0530, Salo

Re: [GSoC-2021] Interested in project `Extend the static analysis pass`

2021-04-11 Thread Saloni Garg via Gcc
On Sun, Apr 11, 2021 at 12:14 AM David Malcolm wrote: > On Sat, 2021-04-10 at 21:18 +0530, Saloni Garg wrote: > > On Thu, Apr 8, 2021 at 8:19 AM David Malcolm > > wrote: > > > > > On Wed, 2021-04-07 at 01:59 +0530, Saloni Garg wrote: > > [...] > > > > Looking at: > > > https://gcc.gnu.org/wiki

Re: [GSoC-2021] Interested in project `Extend the static analysis pass`

2021-04-10 Thread David Malcolm via Gcc
On Sat, 2021-04-10 at 21:18 +0530, Saloni Garg wrote: > On Thu, Apr 8, 2021 at 8:19 AM David Malcolm > wrote: > > > On Wed, 2021-04-07 at 01:59 +0530, Saloni Garg wrote: [...] > > Looking at: > >   https://gcc.gnu.org/wiki/SummerOfCode#Application > > we don't have a specific format to be follo

Re: [GSoC-2021] Interested in project `Extend the static analysis pass`

2021-04-10 Thread Saloni Garg via Gcc
On Thu, Apr 8, 2021 at 8:19 AM David Malcolm wrote: > On Wed, 2021-04-07 at 01:59 +0530, Saloni Garg wrote: > > Hi, apologies for the delayed reply. I was having some college > > commitments. > > On Wed, Mar 31, 2021 at 11:22 PM David Malcolm > > wrote: > > > > > On Wed, 2021-03-31 at 21:41 +053

Re: [GSoC-2021] Interested in project `Extend the static analysis pass`

2021-04-07 Thread David Malcolm via Gcc
On Wed, 2021-04-07 at 01:59 +0530, Saloni Garg wrote: > Hi, apologies for the delayed reply. I was having some college > commitments. > On Wed, Mar 31, 2021 at 11:22 PM David Malcolm > wrote: > > > On Wed, 2021-03-31 at 21:41 +0530, Saloni Garg wrote: > > > On Tue, Mar 30, 2021 at 6:42 PM David M

Re: [GSoC-2021] Interested in project `Extend the static analysis pass`

2021-04-06 Thread Saloni Garg via Gcc
Hi, apologies for the delayed reply. I was having some college commitments. On Wed, Mar 31, 2021 at 11:22 PM David Malcolm wrote: > On Wed, 2021-03-31 at 21:41 +0530, Saloni Garg wrote: > > On Tue, Mar 30, 2021 at 6:42 PM David Malcolm > > wrote: > > > > > On Tue, 2021-03-30 at 16:06 +0530, Salo

Re: GSoC 2021 - Static analyzer project

2021-04-06 Thread David Malcolm via Gcc
On Tue, 2021-04-06 at 17:56 +0530, Ankur Saini wrote: Hi Ankur. Various replies inline below throughout. > > On 30-Mar-2021, at 7:27 PM, David Malcolm > > wrote: > > > > This gave rise to some questions > > > > > > 1. why does the analyzer make exceptions with the main() function > > > ? > >

Re: GSoC 2021 - Static analyzer project

2021-04-06 Thread Ankur Saini via Gcc
> On 30-Mar-2021, at 7:27 PM, David Malcolm wrote: >> This gave rise to some questions >> >> 1. why does the analyzer make exceptions with the main() function ? > > The user's attention is important - we don't want to spam the user with > unnecessary reports if we can help it. make sense.

Re: GSoC 2021 - Fortran run-time argument checking

2021-04-06 Thread Tobias Burnus
Hi Krishna, On 03.04.21 13:52, Krishna Kariya wrote: I am Krishna, a final-year undergraduate student from India. I am interested in the project “Fortran – run-time argument checking” for GSoC 2021. Please share some resources about the project. Please point to some issues or programming tasks t

Re: [GSoC-2021] Interested in project `Extend the static analysis pass`

2021-03-31 Thread David Malcolm via Gcc
On Wed, 2021-03-31 at 21:41 +0530, Saloni Garg wrote: > On Tue, Mar 30, 2021 at 6:42 PM David Malcolm > wrote: > > > On Tue, 2021-03-30 at 16:06 +0530, Saloni Garg wrote: > > > On Sun, Mar 28, 2021 at 8:03 PM David Malcolm < > > > dmalc...@redhat.com> > > > wrote: [...snip...] > > > > No, it's

Re: [GSoC-2021] Interested in project `Extend the static analysis pass`

2021-03-31 Thread Saloni Garg via Gcc
On Tue, Mar 30, 2021 at 6:42 PM David Malcolm wrote: > On Tue, 2021-03-30 at 16:06 +0530, Saloni Garg wrote: > > On Sun, Mar 28, 2021 at 8:03 PM David Malcolm > > wrote: > > > > > On Sun, 2021-03-28 at 18:06 +0530, Saloni Garg wrote: > > > > Hi, I have tried the following examples with the fanal

Re: GSoC 2021 (incremental LTO)

2021-03-31 Thread Martin Jambor
Hi Dmitry, we are delighted you found contributing to GCC interesting. On Mon, Mar 29 2021, Dmitry Torilov via Gcc wrote: > Greetings, > > I saw a task on your site for GSoC called < Optimization (LTO) linking>>. I am very interested in it, and I would > like to know if it is possible to do it th

Re: GSoC 2021 - Static analyzer project

2021-03-30 Thread David Malcolm via Gcc
On Tue, 2021-03-30 at 16:36 +0530, Ankur Saini wrote: > hello sir > > in my quest of finding a bug ( which ended up being a feature ) along > with it’s source in the analyzer, I tested the code on these 2 code > snippets and here’s how I went towards it > > (1) > int main() > { >     int *ptr =

Re: [GSoC-2021] Interested in project `Extend the static analysis pass`

2021-03-30 Thread David Malcolm via Gcc
On Tue, 2021-03-30 at 16:06 +0530, Saloni Garg wrote: > On Sun, Mar 28, 2021 at 8:03 PM David Malcolm > wrote: > > > On Sun, 2021-03-28 at 18:06 +0530, Saloni Garg wrote: > > > Hi, I have tried the following examples with the fanalyzer option > > > in > > > g++. > > > > > > 1 (a) > > > void myFu

Re: GSoC 2021 - Static analyzer project

2021-03-30 Thread Ankur Saini via Gcc
hello sir in my quest of finding a bug ( which ended up being a feature ) along with it’s source in the analyzer, I tested the code on these 2 code snippets and here’s how I went towards it (1) int main() { int *ptr = (int *)malloc(sizeof(int)); return 0; } link to running example (h

Re: [GSoC-2021] Interested in project `Extend the static analysis pass`

2021-03-30 Thread Saloni Garg via Gcc
On Sun, Mar 28, 2021 at 8:03 PM David Malcolm wrote: > On Sun, 2021-03-28 at 18:06 +0530, Saloni Garg wrote: > > Hi, I have tried the following examples with the fanalyzer option in > > g++. > > > > 1 (a) > > void myFunction() > > { > > char *p =new char; > > } > > int main() > > { > >fun

Re: [GSoC-2021] Interested in project `Extend the static analysis pass`

2021-03-28 Thread David Malcolm via Gcc
On Sun, 2021-03-28 at 18:06 +0530, Saloni Garg wrote: > Hi, I have tried the following examples with the fanalyzer option in > g++. > > 1 (a) > void myFunction() > { >     char *p =new char; > } > int main() > { >    func(); >    return 0; > } BTW, are you familiar with Compiler Explorer (godbolt

Re: [GSoC-2021] Interested in project `Extend the static analysis pass`

2021-03-28 Thread Saloni Garg via Gcc
Hi, I have tried the following examples with the fanalyzer option in g++. 1 (a) void myFunction() { char *p =new char; } int main() { func(); return 0; } 1(b) void myFunction() { try { char *p = new char; throw p; } catch(...) { } } int main() { myFu

Re: [GSoC-2021] Interested in project `Extend the static analysis pass`

2021-03-25 Thread David Malcolm via Gcc
On Thu, 2021-03-25 at 14:52 +0530, Saloni Garg via Gcc wrote: > Hi all, > I am an undergraduate student in AMU, Aligarh. I am interested in the > project* `Extend the static analysis pass`. *I have followed this( > https://gcc.gnu.org/pipermail/gcc/2021-March/234941.html) and been > able to > succe

Re: GSoC 2021

2021-03-23 Thread Martin Jambor
Hello, On Sat, Mar 20 2021, Mahmoud Shawky via Gcc wrote: > Hello there > I have chosen the project that i want to develop , and i don't know what is > the next step , we are delighted that you found contributing to GCC interesting. The next step usually is to discuss your project here on the ma

Re: GSOC-2021

2021-03-22 Thread David Malcolm via Gcc
On Sun, 2021-03-21 at 00:31 +0530, Namitha S via Gcc wrote: > Hi, > I am Namitha S, an undergrad from Amrita University. This mail is > regarding > GSOC-2021, I wanted to know more about the project "Extend the static > analysis pass". I've gone through the wiki and finished the tasks > listed > ou

Re: GSoC 2021 - Static analyzer project

2021-03-08 Thread Ankur Saini via Gcc
> On 06-Mar-2021, at 6:05 AM, David Malcolm wrote: > > If you run the analyzer on your own code, and can trigger a false > positive or a false negative with the analyzer on it, and try to figure > out the issue, that could be a useful step (though it might turn out to > be a difficult one to fi

Re: GSoC 2021 - Static analyzer project

2021-03-05 Thread David Malcolm via Gcc
On Fri, 2021-03-05 at 17:04 +0530, Ankur Saini via Gcc wrote: > Hello, Hi Ankur > While looking for some project to contribute on for GSOC 2021, I came > across project about extending static analyser pass, especially the > part that involve adding C++ support to it. > > I have already used -fan

Re: GSoC 2021 project help

2020-12-23 Thread Adharsh Kamath via Gcc
Hi Martin, Thank you very much for the detailed response. On Tue, Dec 22, 2020 at 3:37 AM Martin Jambor wrote: > > Hi Adharsh, > > I will be the GSoC organizer for GCC the next year (unless someone else > wants to be). > > On Sun, Dec 20 2020, Adharsh Kamath via Gcc wrote: > > Hi everyone > > I c

Re: GSoC 2021 project help

2020-12-21 Thread Martin Jambor
Hi Adharsh, I will be the GSoC organizer for GCC the next year (unless someone else wants to be). On Sun, Dec 20 2020, Adharsh Kamath via Gcc wrote: > Hi everyone > I came across the list of project ideas that were selected for GSoC 2020 > and I'm interested in contributing to the project regardi