int handle_pointer()

in cpp/DFAchecks.cpp [258:265]


int handle_pointer() {
    int* int_ptr = new int;

    delete_ptr(int_ptr);
    *int_ptr = 1;

    return 0;
}