Bug#871068: cbmc: FTBFS: wmm/abstract_event.h:23:7: error: '.abstract_eventt::operation' may be used uninitialized in this function [-Werror=maybe-uninitialized]

[Juhani Numminen]

Control: tags -1 patch fixed-upstream

Hi,

I've attached a patch to fix this FTBFS. It's based on this upstream commit:
https://github.com/diffblue/cbmc/commit/a057ef562

Thanks,
Juhani

Subject: ensure initialization of PODs
From: Daniel Kroening <kroen...@cs.ox.ac.uk>
Origin: 
https://github.com/diffblue/cbmc/commit/a057ef562c232c6aacc71648b7aaa0ea5346b246
Bug-Debian: https://bugs.debian.org/871068
Last-Update: 2017-12-04

--- a/src/goto-instrument/wmm/abstract_event.h
+++ b/src/goto-instrument/wmm/abstract_event.h
@@ -46,7 +46,18 @@
   bool RWcumul;
   bool RRcumul;
 
-  abstract_eventt()
+  abstract_eventt():
+    operation(operationt::Write),
+    thread(0),
+    id(0),
+    local(false),
+    WRfence(false),
+    WWfence(false),
+    RRfence(false),
+    RWfence(false),
+    WWcumul(false),
+    RWcumul(false),
+    RRcumul(false)
   {
   }