Check a pointer to see if it is NULL. If it is NULL, exit with an ** out-of-memory error. */
| 638 | ** out-of-memory error. |
| 639 | */ |
| 640 | static void shell_check_oom(void *p){ |
| 641 | if( p==0 ) shell_out_of_memory(); |
| 642 | } |
| 643 | |
| 644 | /* |
| 645 | ** Write I/O traces to the following stream. |
no test coverage detected