Searched defs:ptr_id (Results 1 – 2 of 2) sorted by relevance
2940 const char *ptr_id = r.make_identifier (ptr_type, "ptr_to"); in write_deferred_reproducer() local
3289 const char *ptr_id = r.make_identifier (ptr_type, "ptr_to"); in write_deferred_reproducer() local