| 876 | } |
| 877 | |
| 878 | int* util_allocEpsilonSensitiveHeapFlag() { |
| 879 | |
| 880 | int* ptr = cpu_allocHeapFlag(); // may be nullptr |
| 881 | |
| 882 | // if failed to alloc, do not add to global list; |
| 883 | // caller will handle validation/error messaging |
| 884 | if (!mem_isAllocated(ptr)) |
| 885 | return ptr; |
| 886 | |
| 887 | // caller should set ptr to the default "unknown" |
| 888 | // value, but we do so here too just to be safe |
| 889 | util_setFlagToUnknown(ptr); |
| 890 | |
| 891 | // store the pointer so that we can reset the |
| 892 | // value to "unknown" when epsilon is changed |
| 893 | globalStructFieldPtrs.push_back(ptr); |
| 894 | return ptr; |
| 895 | } |
| 896 | |
| 897 | void util_deallocEpsilonSensitiveHeapFlag(int* ptr) { |
| 898 |
no test coverage detected