-
- if (act->is_uninitialized()) { // WL
- uint64_t val = *((uint64_t *) location);
- ModelAction * act_uninitialized = (ModelAction *)act;
- act_uninitialized->set_value(val);
- reads_from = act_uninitialized;
-
-// disabled by WL, because LLVM IR is unable to detect atomic init
-/* model->assert_bug("May read from uninitialized atomic:\n"
- " action %d, thread %d, location %p (%s, %s)",
- seq_number, id_to_int(tid), location,
- get_type_str(), get_mo_str());
- */
- }