...
Code Block | ||
---|---|---|
| ||
int func(int condition) { int *s = NULL; if (condition) { s = malloc(10); if (s == NULL) { /* Handle Error */ } /* insert data intoProcess s */ return 0; } /* ... */ if (s) { /* This code is never reached */ } return 0; } |
...
Code Block | ||
---|---|---|
| ||
int func(int condition) { int *s = NULL; if (condition) { s = malloc(10); if (s == NULL) { /* Handle Error */ } /* insert data intoProcess s */ } /* ... */ if (s) { /* This code is now reachable */ } return 0; } |
...