Error message in symbolic mode

[otis01329]

In the symbolic mode using the divine, I have encountered the following error problem.

FAULT: undefined pointer dereference: [global* 0 2 uun]
[0] FATAL: memory error in userspace

What program will cause this error, can you provide me with the code that will cause this kind of error?

Because the program is very large, I can't provide my program. Sorry.

[mornfall]

A program which gives the same error as you see would be the following. If you think the error is wrong or a problem with divine, you will need to provide more info, at minimum the backtrace(s) that follow the error message you got.

int main()
{
    char *a;
    return a[2];
}