Indicate out-of-memory and exit. */
| 630 | |
| 631 | /* Indicate out-of-memory and exit. */ |
| 632 | static void shell_out_of_memory(void){ |
| 633 | raw_printf(stderr,"Error: out of memory\n"); |
| 634 | exit(1); |
| 635 | } |
| 636 | |
| 637 | /* Check a pointer to see if it is NULL. If it is NULL, exit with an |
| 638 | ** out-of-memory error. |
no outgoing calls
no test coverage detected