static analysis in GCC (starting from Bismon plugin)

2023-03-01 Thread Basile Starynkevitch
Hello all I don't have much time to actively contribute to GCC, but those interested in static analysis with it might start (or reuse some code) from the Bismon plugin (or consider also using the Frama-C framework) Cheers PS. My p

Re: Need help with Proc compilation with GCC 4.8.3

2023-03-01 Thread Jonathan Wakely via Gcc
Please don't cross-post to several mailing lists, this belongs on the gcc-help mailing list only. On Wed, 1 Mar 2023, 06:33 Kondreddy, Vinay Kumar, < vinaykumar.kondre...@staples.com> wrote: > Hi Team, > > > > We are using GCC 4.8.3 for one of our legacy applications i.e: Automatch. > after dat

Re: [GSoC][Static Analyzer] Some questions and request for a small patch to work on

2023-03-01 Thread Shengyu Huang via Gcc
Hi Dave, > On 1 Mar 2023, at 00:59, David Malcolm wrote: > > Did you get it to output your messages? > Yes, I chose to emit the warning before the supergraph or exploded graph is created (I guess this is enough, right?). I checked out from the trunk a week ago, and I checked out from the la

Re: [GSoC][Static Analyzer] Some questions and request for a small patch to work on

2023-03-01 Thread David Malcolm via Gcc
On Wed, 2023-03-01 at 12:16 +0100, Shengyu Huang wrote: > Hi Dave, > > > On 1 Mar 2023, at 00:59, David Malcolm wrote: > > > > Did you get it to output your messages? > > > > > Yes, I chose to emit the warning before the supergraph or exploded > graph is created (I guess this is enough, right

Debugging C++ frontend using CLion IDE

2023-03-01 Thread Berke Yavas via Gcc
Hi, I am trying to set up my environment for the upcoming google summer of code. One thing I haven't figured out yet, how can I debug C++ frontend(or any other language frontend) with CLion. If anybody managed to do this(or using another IDE), could you please share your settings with me? Best re

Re: Debugging C++ frontend using CLion IDE

2023-03-01 Thread Charalampos Mitrodimas via Gcc
Hi Berke, Hi, I am trying to set up my environment for the upcoming google summer of code. One thing I haven't figured out yet, how can I debug C++ frontend(or any other language frontend) with CLion. If anybody managed to do this(or using another IDE), could you please share your settings with

Re: Debugging C++ frontend using CLion IDE

2023-03-01 Thread Charalampos Mitrodimas via Gcc
Hi Berke, > Hi, > > I am trying to set up my environment for the upcoming google summer of > code. One thing I haven't figured out yet, how can I debug C++ frontend(or > any other language frontend) with CLion. If anybody managed to do this(or > using another IDE), could you please share your sett

Re: Debugging C++ frontend using CLion IDE

2023-03-01 Thread Paul Smith
On Wed, 2023-03-01 at 20:59 +0300, Berke Yavas via Gcc wrote: > One thing I haven't figured out yet, how can I debug C++ frontend(or > any other language frontend) with CLion. If anybody managed to do > this (or using another IDE), could you please share your settings > with me? Since CLion is (a)

Re: GSoC: Interest in taking the `-ftime-trace` project

2023-03-01 Thread Martin Jambor
Hello Kristiyan, On Wed, Feb 08 2023, Kristiyan Stoimenov via Gcc wrote: > Hello, > > I would like to ask whether I could be part of the upcoming GSoC. I have > been wanting to contribute to the project for some time now and I think > that this would be a nice opportunity for that. > > I have look

Re: Debugging C++ frontend using CLion IDE

2023-03-01 Thread Tim Lange
Hi Berke, I had the same problem last year. Many IDEs don't really work for developing gcc. Most here probably use either emacs or vim. If you want to use an IDE, you might have to do some hacks. The oldschool indentation style of gcc (mix of tab and spaces) is not widely supported. IDEs/Edi