diff options
Diffstat (limited to 'rts/Capability.c')
| -rw-r--r-- | rts/Capability.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/rts/Capability.c b/rts/Capability.c index fd9f64f147..6c84d1ec35 100644 --- a/rts/Capability.c +++ b/rts/Capability.c @@ -267,6 +267,8 @@ initCapability( Capability *cap, nat i ) #ifdef PROFILING cap->r.rCCCS = CCS_SYSTEM; +#else + cap->r.rCCCS = NULL; #endif traceCapsetAssignCap(CAPSET_OSPROCESS_DEFAULT, i); @@ -614,6 +616,7 @@ waitForReturnCapability (Capability **pCap, Task *task) #ifdef PROFILING cap->r.rCCCS = CCS_SYSTEM; #endif + ASSERT_FULL_CAPABILITY_INVARIANTS(cap,task); debugTrace(DEBUG_sched, "resuming capability %d", cap->no); |