[no subject]

2021-03-17 Thread TUSHAR SINGHOTA via Gcc
Sir, I'm Tushar of btech 1st sem of CSE branch student. Can you tell me how to contribute in programming, development new programs and creating new. I'm also confident in c language, please also tell me which languages are required for contributing.

Re: More questions on points-to analysis

2021-03-17 Thread Erick Ochoa via Gcc
No, I think it is correct. Any help would be clearly appreciated. Thanks! (Even if I'm wrong, of course I'd like to know.) On Wed, 17 Mar 2021 at 17:21, Erick Ochoa wrote: > > Mm... ignore this for now please, I think I messed up the analysis by > hand. I will try again. Thanks! > > On Wed, 17 Ma

Re: More questions on points-to analysis

2021-03-17 Thread Erick Ochoa via Gcc
Mm... ignore this for now please, I think I messed up the analysis by hand. I will try again. Thanks! On Wed, 17 Mar 2021 at 16:16, Erick Ochoa wrote: > > Hi Richard, I think I misunderstood yesterday's answer and deviated a > little bit. But now I want to focus on this: > > > > * the process in

Re: More questions on points-to analysis

2021-03-17 Thread Erick Ochoa via Gcc
Hi Richard, I think I misunderstood yesterday's answer and deviated a little bit. But now I want to focus on this: > > * the process in GCC that generates the constraints for NULL works > > fine (i.e., feeding the constraints generated by GCC to an external > > solver should yield a conservatively

Re: 'walk_stmt_load_store_addr_ops' for non-'gimple_assign_single_p (stmt)'

2021-03-17 Thread Michael Matz
Hello, On Wed, 17 Mar 2021, Richard Biener wrote: > > The walk_gimple functions are intended to be used on the SSA form of > > gimple (i.e. the one that it is in most of the time). > > Actually they are fine to use pre-SSA. Structurally, sure. > They just even pre-SSA distinguish between regi

Re: More questions on points-to analysis

2021-03-17 Thread Richard Biener via Gcc
On Wed, Mar 17, 2021 at 11:34 AM Erick Ochoa via Gcc wrote: > > Hello, > > I'm still trying to compare the solution generated from the > intraprocedural points-to analysis in GCC against an external solver. > > Yesterday it was pointed out that "NULL is not conservatively > correctly represented i

More questions on points-to analysis

2021-03-17 Thread Erick Ochoa via Gcc
Hello, I'm still trying to compare the solution generated from the intraprocedural points-to analysis in GCC against an external solver. Yesterday it was pointed out that "NULL is not conservatively correctly represented in the constraints". Can someone expand on this? To me this sounds like a co

Re: 'walk_stmt_load_store_addr_ops' for non-'gimple_assign_single_p (stmt)'

2021-03-17 Thread Richard Biener via Gcc
On Wed, Mar 17, 2021 at 12:25 AM Thomas Schwinge wrote: > > Hi! > > Thanks, Michael, and again Richard for your quick responses. > > On 2021-03-16T15:25:10+, Michael Matz wrote: > > On Tue, 16 Mar 2021, Thomas Schwinge wrote: > > > >> >>Indeed, given (Fortran) 'zzz = 1', we produce GIMPLE: >

Re: 'walk_stmt_load_store_addr_ops' for non-'gimple_assign_single_p (stmt)'

2021-03-17 Thread Richard Biener via Gcc
On Tue, Mar 16, 2021 at 4:25 PM Michael Matz wrote: > > Hello, > > On Tue, 16 Mar 2021, Thomas Schwinge wrote: > > > >>Indeed, given (Fortran) 'zzz = 1', we produce GIMPLE: > > >> > > >>gimple_assign > > >> > > >>..., and calling 'walk_stmt_load_store_addr_ops' on that, I see, as > > >>expect