From d590c23e98d4ad4da4df6eda33cbdb04c29c25ea Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Wed, 24 Apr 2013 10:28:34 -0700 Subject: [PATCH] action: improve "unintialized load" bug print --- action.cc | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/action.cc b/action.cc index e2557f0..14ad71d 100644 --- a/action.cc +++ b/action.cc @@ -478,7 +478,10 @@ void ModelAction::set_read_from(const ModelAction *act) reads_from = act; reads_from_promise = NULL; if (act->is_uninitialized()) - model->assert_bug("May read from uninitialized atomic\n"); + 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()); } /** -- 2.34.1