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