Merge pull request #3367 from tautschnig/vs-zero

kroening · web-flow · commit ece7a677c8bf · 2018-11-11T18:35:40.000Z
Explicitly compare to zero to avoid Visual Studio warning [blocks: #2310]
diff --git a/src/util/small_shared_two_way_ptr.h b/src/util/small_shared_two_way_ptr.h
@@ -272,7 +272,7 @@ class small_shared_two_way_pointeet
 
   bool is_derived_v() const
   {
-    return use_count_ & ~mask;
+    return (use_count_ & ~mask) != 0;
   }
 
   bool is_same_type(const small_shared_two_way_pointeet &other) const

Original file line number	Diff line number	Diff line change
`@@ -272,7 +272,7 @@ class small_shared_two_way_pointeet`
`272`	`272`
`273`	`273`	`bool is_derived_v() const`
`274`	`274`	`{`
`275`		`- return use_count_ & ~mask;`
	`275`	`+ return (use_count_ & ~mask) != 0;`
`276`	`276`	`}`
`277`	`277`
`278`	`278`	`bool is_same_type(const small_shared_two_way_pointeet &other) const`