Re: TBAA bug?

2021-07-27 Thread Richard Biener via Gcc
On Sun, Jul 25, 2021 at 1:58 PM Uecker, Martin wrote: > > > > Hi Richard, > > here is another case where it seems that TBAA goes > wrong. Since this is not in a loop, it seems this > is something else than what we discussed. Is > this a known issue? > > Best, > Martin > > > #include > #include >

Re: TBAA bug?

2021-07-27 Thread Richard Biener via Gcc
On Sun, Jul 25, 2021 at 1:58 PM Uecker, Martin wrote: > > > > Hi Richard, > > here is another case where it seems that TBAA goes > wrong. Since this is not in a loop, it seems this > is something else than what we discussed. Is > this a known issue? No, it's not known and it is a bug. It seems t

Re: [RFC] Adding a new attribute to function param to mark it as constant

2021-07-27 Thread Richard Biener via Gcc
On Mon, Jul 26, 2021 at 11:06 AM Prathamesh Kulkarni via Gcc wrote: > > On Fri, 23 Jul 2021 at 23:29, Andrew Pinski wrote: > > > > On Fri, Jul 23, 2021 at 3:55 AM Prathamesh Kulkarni via Gcc > > wrote: > > > > > > Hi, > > > Continuing from this thread, > > > https://gcc.gnu.org/pipermail/gcc-pat

Re: TBAA bug?

2021-07-27 Thread Richard Biener via Gcc
On Tue, Jul 27, 2021 at 10:05 AM Richard Biener wrote: > > On Sun, Jul 25, 2021 at 1:58 PM Uecker, Martin > wrote: > > > > > > > > Hi Richard, > > > > here is another case where it seems that TBAA goes > > wrong. Since this is not in a loop, it seems this > > is something else than what we discus

Re: daily report on extending static analyzer project [GSoC]

2021-07-27 Thread Ankur Saini via Gcc
sorry for lack of updates recently, most of the time was consumed in exploring GCC's devirtualiser and experimenting with some approaches, and didn’t got enough content out everyday for a daily-report. AIM: - get the analyzer figure out which function to call when a vritual function is called