diff options
Diffstat (limited to 'mps/code/event.c')
| -rw-r--r-- | mps/code/event.c | 17 |
1 files changed, 10 insertions, 7 deletions
diff --git a/mps/code/event.c b/mps/code/event.c index 9018e8e9b33..6400e6917e6 100644 --- a/mps/code/event.c +++ b/mps/code/event.c | |||
| @@ -383,9 +383,9 @@ void EventDump(mps_lib_FILE *stream) | |||
| 383 | #else /* EVENT, not */ | 383 | #else /* EVENT, not */ |
| 384 | 384 | ||
| 385 | 385 | ||
| 386 | Res (EventSync)(void) | 386 | void (EventSync)(void) |
| 387 | { | 387 | { |
| 388 | return ResOK; | 388 | NOOP; |
| 389 | } | 389 | } |
| 390 | 390 | ||
| 391 | 391 | ||
| @@ -413,16 +413,18 @@ EventControlSet (EventControl)(EventControlSet resetMask, | |||
| 413 | EventStringId (EventInternString)(const char *label) | 413 | EventStringId (EventInternString)(const char *label) |
| 414 | { | 414 | { |
| 415 | UNUSED(label); | 415 | UNUSED(label); |
| 416 | NOTREACHED; | 416 | /* EventInternString is reached in varieties without events, but the result |
| 417 | return (EventInternString)0x9024EACH; | 417 | is not used for anything. */ |
| 418 | return (EventStringId)0x9024EAC8; | ||
| 418 | } | 419 | } |
| 419 | 420 | ||
| 420 | 421 | ||
| 421 | Word (EventInternGenString)(size_t len, const char *label) | 422 | Word (EventInternGenString)(size_t len, const char *label) |
| 422 | { | 423 | { |
| 423 | UNUSED(len); UNUSED(label); | 424 | UNUSED(len); UNUSED(label); |
| 424 | NOTREACHED; | 425 | /* EventInternGenString is reached in varieties without events, but |
| 425 | return (EventInternString)0x9024EACH; | 426 | the result is not used for anything. */ |
| 427 | return (EventStringId)0x9024EAC8; | ||
| 426 | } | 428 | } |
| 427 | 429 | ||
| 428 | 430 | ||
| @@ -430,7 +432,8 @@ void (EventLabelAddr)(Addr addr, Word id) | |||
| 430 | { | 432 | { |
| 431 | UNUSED(addr); | 433 | UNUSED(addr); |
| 432 | UNUSED(id); | 434 | UNUSED(id); |
| 433 | NOTREACHED; | 435 | /* EventLabelAddr is reached in varieties without events, but doesn't have |
| 436 | to do anything. */ | ||
| 434 | } | 437 | } |
| 435 | 438 | ||
| 436 | 439 | ||