On Fri, Mar 19, 2021 at 11:29 AM Erick Ochoa wrote:
>
> Hello Richard,
>
> I have a related question. I have the following GCC program (which is
> again an altered version of ipa-pta-16.c:
>
> ```
>
> struct X
> {
> long l1;
> struct Y
> {
> long l2;
> int *p;
> } y;
> };
>
Hello Richard,
I have a related question. I have the following GCC program (which is
again an altered version of ipa-pta-16.c:
```
struct X
{
long l1;
struct Y
{
long l2;
int *p;
} y;
};
int i;
static int __attribute__((noinline))
foo (struct X *x)
{
struct Y y = x->y;
Perfect, thank you! This is exactly the answer that I was looking for.
On Thu, 18 Mar 2021 at 13:27, Richard Biener wrote:
>
> On Wed, Mar 17, 2021 at 4:17 PM Erick Ochoa wrote:
> >
> > Hi Richard, I think I misunderstood yesterday's answer and deviated a
> > little bit. But now I want to focus
On Wed, Mar 17, 2021 at 4:17 PM 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 GCC that generates the constraints for NULL works
> > > fine (i.e., feeding the constraints generated
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
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
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
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
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
