(C/C++) 'IDENTIFIER' node in ddg

[NemoTR]

The C++ code is:

int f(int x, int *y)
{

    int a, b, c = 10;

    a = 10;
    b = a;
    a = g(c);

    return a;
}

The ddg is:

There is also an IDENTIFIER node in ddg and an edge from that node to return a node with label a. I found that if RETURN node returns only a variable, this situation will arise; In other cases, it won't.

Is it normal for an IDENTIFIER node to exist in ddg? I am looking forward to your answer, QAQ

[max-leuthaeuser]

There is currently a major dataflow engine rewrite in the works that most likely will change a lot here. We will keep you posted on that. Hence, this issue here is on hold.