Re: Welcome GCC GSoC 2021 participants

2021-05-28 Thread Ankur Saini via Gcc
> On 24-May-2021, at 3:12 PM, Martin Jambor wrote: > > Hello, > > On Sun, May 23 2021, Ankur Saini wrote: >> Hello, >> >>> On 18-May-2021, at 9:52 PM, Martin Jambor wrote: >>> >>> All accepted students which do not already have one must request a >>> copyright assignment[1] as soon as poss

Re: Welcome GCC GSoC 2021 participants

2021-05-24 Thread Martin Jambor
Hello, On Sun, May 23 2021, Ankur Saini wrote: > Hello, > >> On 18-May-2021, at 9:52 PM, Martin Jambor wrote: >> >> All accepted students which do not already have one must request a >> copyright assignment[1] as soon as possible. Please email the >> following information to ass...@gnu.org and

Re: Welcome GCC GSoC 2021 participants

2021-05-23 Thread Ankur Saini via Gcc
Hello, > On 18-May-2021, at 9:52 PM, Martin Jambor wrote: > > All accepted students which do not already have one must request a > copyright assignment[1] as soon as possible. Please email the > following information to ass...@gnu.org and they will send you the > assignment form for your past

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 > >

Welcome GCC GSoC 2021 participants

2021-05-18 Thread Martin Jambor
east, feel free to raise any question you might have on an appropriate mailing list[3] or say hi to us on the gcc development IRC channel [4]. If you have any concerns or questions regarding the organizational part of GSoC 2021 or just don't know who else to reach out to, feel free to contact

GSoC 2021 Proposal - Improve diagnostic messages for Rust-GCC

2021-04-12 Thread Ruihan Li via Gcc
Hello everyone. I'll work on improving diagnostic messages for GCC's Rust front-end in Google Summer of Code. Here is the proposal: https://docs.google.com/document/d/1ZPRKu-PKPdZVOAZyYRq7YfSfA0eo7wyX3IL9KJoULnA/edit?usp=sharing Feel free to leave any comments or suggestions here. Ruihan Li

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

GSoC 2021 Proposal for the Rust Frontend

2021-04-09 Thread George Liakopoulos via Gcc
I have sent my proposal to GSoC about improving the warnings of Rust-GCC Frontend and more specifically the warnings that are connected with immutable values . You can see my full proposal here : https://docs.google.com/document/d/146zKtk6rEbZV7c5Fomt8VomjG8AnzQ4aULHhnM8hh6M/edit?usp=sharing Geo

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

GSoC 2021 - Bridging the gap between rustc and gccrs

2021-04-07 Thread Arthur Cohen via Gcc
Hi everyone, It is my pleasure to announce that I will be applying for the Google Summer of Code in order to work under the Rust-GCC organization. I am a french systems programming and embedded systems programming student, and love to work on anything related to the compilation or interpretation

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.

GSoC 2021 Application - Mihnea Robert Gogu

2021-04-06 Thread Mihnea Gogu via Gcc
Dear reader, My name is Mihnea Robert Gogu and it is my pleasure to confirm my application for GSoC 2021, more specifically taking on a task as part of the gcc rust compiler. I am a second year Computing student at Imperial College London, most passionate about programming languages, by extension

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

GSoC 2021 - Fortran run-time argument checking

2021-04-03 Thread Krishna Kariya
Hello Community, 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 that I can try out to understand the

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

GSoC 2021

2021-03-29 Thread Dmitry Torilov via Gcc
Greetings, I saw a task on your site for GSoC called <>. I am very interested in it, and I would like to know if it is possible to do it this summer. I have experience in C/C++ development as well as experience in related fields. I know how to compile GCC, and I have a top-level understanding of h

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

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

2021-03-25 Thread Saloni Garg via Gcc
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 successfully build and successfully ran and pass the test suite for C and C++.

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 a

GSOC-2021

2021-03-20 Thread Namitha S via Gcc
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 out in the before you apply section. I've already r

GSoC 2021

2021-03-19 Thread Mahmoud Shawky via Gcc
Hello there I have chosen the project that i want to develop , and i don't know what is the next step , is it okay to communicate with the project mentor in linkedin or how can i communicate with him . That's my first time here Thanks in advance

Re: static analysis above GCC (GSoC 2021)

2021-03-08 Thread Ankur Saini via Gcc
> On 06-Mar-2021, at 6:40 PM, Basile Starynkevitch > wrote: > > > > On Fri, 2021-03-05 at 17:04 +0530, Ankur Saini via Gcc wrote: >> Hello, > Hi Ankur > You could look at the DECODER European project on > https://www.decoder-project.eu/ and at the > Bismo

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

static analysis above GCC (GSoC 2021)

2021-03-06 Thread Basile Starynkevitch
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. You could look at the

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

GSoC 2021 - Static analyzer project

2021-03-05 Thread Ankur Saini via Gcc
Hello, 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 -fanalyzer option ( which I initially came to know about via some blog post ) a

Re: Interested in GSoC 2021: Rust frontend

2021-02-15 Thread Philip Herron
Thanks for your interest I see you have already joined our zulip channel and I have replied to you off-list. Thanks again, --Phil On Sat, 13 Feb 2021 at 06:59, 孙译喆 via Gcc wrote: > Hello, I’m looking to contribute to the project regarding the Rust > frontend. > > I’ve compiled the project from

Interested in GSoC 2021: Rust frontend

2021-02-12 Thread 孙译喆 via Gcc
Hello, I’m looking to contribute to the project regarding the Rust frontend. I’ve compiled the project from the Rust-GCC repository and ran the testsuite. Any pointers what to do next? By the way, is the mailing list the prefered way of communication? Or should I use Zulip/Discord? Regards Yiz

Re: GCC GSoC 2021 - Static analyzer project

2021-02-11 Thread David Malcolm via Gcc
On Thu, 2021-02-11 at 22:35 +0530, Adharsh Kamath wrote: > Hi David, > > > Building GCC from source and stepping through it in the > > debugger would be good next steps.  You'll need plenty of disk > > space. > >  "run_checkers" is a good breakpoint to set if you're looking for > > the > > entrypo

Re: GCC GSoC 2021 - Static analyzer project

2021-02-11 Thread Adharsh Kamath via Gcc
Hi David, > Building GCC from source and stepping through it in the > debugger would be good next steps. You'll need plenty of disk space. > "run_checkers" is a good breakpoint to set if you're looking for the > entrypoint to the analyzer. > I tried this and I understood the control flow in the

Re: GCC GSoC 2021 - Static analyzer project

2021-01-23 Thread Adharsh Kamath via Gcc
harsh Kamath wrote: > > > > Hello, > > > > I came across the list of possible project ideas for GSoC 2021 > > > > and > > > > I'd > > > > like to contribute to the project regarding the static analysis > > > > pass > > >

Re: GCC GSoC 2021 - Static analyzer project

2021-01-22 Thread David Malcolm via Gcc
On Fri, 2021-01-22 at 20:46 +0530, Adharsh Kamath wrote: > Hi David. Thank you for the reply. > On Tue, Jan 19, 2021 at 2:12 AM David Malcolm > wrote: > > On Thu, 2021-01-14 at 10:45 +0530, Adharsh Kamath wrote: > > > Hello, > > > I came across the list of pos

Re: GCC GSoC 2021 - Static analyzer project

2021-01-22 Thread Adharsh Kamath via Gcc
Hi David. Thank you for the reply. On Tue, Jan 19, 2021 at 2:12 AM David Malcolm wrote: > > On Thu, 2021-01-14 at 10:45 +0530, Adharsh Kamath wrote: > > Hello, > > I came across the list of possible project ideas for GSoC 2021 and > > I'd > > like to contribute

Re: GCC GSoC 2021 - Static analyzer project

2021-01-18 Thread David Malcolm via Gcc
On Thu, 2021-01-14 at 10:45 +0530, Adharsh Kamath wrote: > Hello, > I came across the list of possible project ideas for GSoC 2021 and > I'd > like to contribute to the project regarding the static analysis pass > in GCC. > How can I get started with this project? Hi A

GCC GSoC 2021 - Static analyzer project

2021-01-13 Thread Adharsh Kamath via Gcc
Hello, I came across the list of possible project ideas for GSoC 2021 and I'd like to contribute to the project regarding the static analysis pass in GCC. How can I get started with this project? Thanks, Adharsh

Re: GCC GSoC 2021: Call for project ideas and mentors

2021-01-11 Thread Richard Biener via Gcc
e viable ones which are > not yet viable. I would especially want to ask libstdc++ people to do > so, and GFortran folk to check that their suggestions from last year are > still good. > > Finally, please continue helping (prospective) students figure stuff out > about GCC like

GCC GSoC 2021: Call for project ideas and mentors

2021-01-11 Thread Martin Jambor
rtran folk to check that their suggestions from last year are still good. Finally, please continue helping (prospective) students figure stuff out about GCC like you always do. So far I think all of them enjoyed working with us, even if many sometimes struggled with GCC's complexity. More

Re: GSoC 2021 project help

2020-12-23 Thread Adharsh Kamath via Gcc
> > 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 regarding the *Implementation > > of OMPD in GCC, libgomp, and GDB. * > > > Is this project going to be considere

Re: GSoC 2021 project help

2020-12-21 Thread Martin Jambor
to the project regarding the > *Implementation > of OMPD in GCC, libgomp, and GDB. * > Is this project going to be considered for GSoC 2021 as well? On one hand, I am very pleased that you are interested in a GCC GSoC program, on the other, I am worried about the project you picked because it

GSoC 2021 project help

2020-12-20 Thread Adharsh Kamath via Gcc
this project going to be considered for GSoC 2021 as well? How can I get started with this project? Can I contact the mentor who is mentioned in the above project's description regarding this? Thanks, Adharsh

Re: Need Guidance for GSOC 2021

2020-12-18 Thread Martin Jambor
Hello Abhay, On Wed, Dec 16 2020, Abhay Singh via Gcc wrote: > Hi Sir/Mam, > > My name is Abhay Singh, second year undergraduate student from Lovely > Professional University, enrolled in Bachelors of Technology, Computer > Science. I am using GCC Compilers from the starting edge of mu > engineer