Changes between Initial Version and Version 1 of Ticket #65


Ignore:
Timestamp:
06/10/2019 08:21:39 AM (6 years ago)
Author:
mornfall
Comment:

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];
}

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #65

    • Property Status changed from new to closed
    • Property Resolution changed from to invalid

  • Ticket #65 – Description

    initial v1  
    11In the symbolic mode using the divine, I have encountered the following error problem.
    2 
     2{{{
    33FAULT: undefined pointer dereference: [global* 0 2 uun]
    4   [0] FATAL: memory error in userspace
    5 
     4[0] FATAL: memory error in userspace
     5}}}
    66What program will cause this error, can you provide me with the code that will cause this kind of error?
    77