Check a pointer to see if it is NULL. If it is NULL, exit with an ** out-of-memory error. */
| 947 | ** out-of-memory error. |
| 948 | */ |
| 949 | static void shell_check_oom(const void *p){ |
| 950 | if( p==0 ) shell_out_of_memory(); |
| 951 | } |
| 952 | |
| 953 | /* |
| 954 | ** Write I/O traces to the following stream. |
no test coverage detected