| 45 | } |
| 46 | |
| 47 | static int DeinitShouldNotBeCalled(void* h) { |
| 48 | // Should not be called when handle is already null |
| 49 | return -1; |
| 50 | } |
| 51 | |
| 52 | static int InitWithError(void** handle_addr) { |
| 53 | TVMFFIErrorSetRaisedFromCStr("RuntimeError", "Initialization failed"); |
nothing calls this directly
no outgoing calls
no test coverage detected