[inferbo] Always use strong update

Summary:
For now we just want to find bugs, let's do something smarter later (smash heap variables only when needed).

Depends on D4962107

Reviewed By: jvillard

Differential Revision: D4962121

fbshipit-source-id: 1b777a6

infer/src/bufferoverrun/bufferOverrunDomain.ml

@@ -17,6 +17,8 @@ module F = Format
 module L = Logging
 module MF = MarkupFormatter
 
+let always_strong_update = true (* unsound but ok for bug catching *)
+
 module Condition =
 struct
   type t =
@@ -662,6 +664,7 @@ struct
 
   let can_strong_update : PowLoc.t -> bool
     = fun ploc ->
+      if always_strong_update then true else
       if Int.equal (PowLoc.cardinal ploc) 1 then Loc.is_var (PowLoc.choose ploc) else false
 
   let update_mem : PowLoc.t -> Val.t -> t -> t