No matches were found for subject:"Bug#871068\: cbmc\: FTBFS\: wmm\/abstract_event.h\:23\:7\: error\: '<anonymous>.abstract_eventt\:\:operation' may be used uninitialized in this function \[\-Werror=maybe\-uninitialized\]"