Opened 5 years ago

Last modified 5 years ago

#65 closed defect

Error message in symbolic mode — at Initial Version

Reported by: otis01329 Owned by: mornfall
Priority: major Milestone: 4.3
Component: other Keywords:
Cc:

Description

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.

Change History (0)

Note: See TracTickets for help on using tickets.