Avoid seg fault in the case where ensureModel is called in cds_func_entry and then...
authorweiyu <weiyuluo1232@gmail.com>
Sun, 10 Nov 2019 21:55:25 +0000 (13:55 -0800)
committerweiyu <weiyuluo1232@gmail.com>
Sun, 10 Nov 2019 21:55:25 +0000 (13:55 -0800)
datarace.cc

index 58c52dd..dd88c2f 100644 (file)
@@ -256,6 +256,9 @@ void raceCheckWrite(thread_id_t thread, void *location)
        uint64_t *shadow = lookupAddressEntry(location);
        uint64_t shadowval = *shadow;
        ClockVector *currClock = get_execution()->get_cv(thread);
+       if (currClock == NULL)
+               return;
+
        struct DataRace * race = NULL;
        /* Do full record */
        if (shadowval != 0 && !ISSHORTRECORD(shadowval)) {
@@ -424,6 +427,9 @@ void raceCheckRead(thread_id_t thread, const void *location)
        uint64_t *shadow = lookupAddressEntry(location);
        uint64_t shadowval = *shadow;
        ClockVector *currClock = get_execution()->get_cv(thread);
+       if (currClock == NULL)
+               return;
+
        struct DataRace * race = NULL;
 
        /* Do full record */