diff --git a/infer/src/checkers/uninit.ml b/infer/src/checkers/uninit.ml index 8522941c5..0b45ae0d6 100644 --- a/infer/src/checkers/uninit.ml +++ b/infer/src/checkers/uninit.ml @@ -379,7 +379,7 @@ let get_locals cfg tenv pdesc = | Typ.Tarray {elt} -> AccessExpression.ArrayOffset (base_access_expr, elt, []) :: acc | Typ.Tptr _ -> - AccessExpression.Dereference base_access_expr :: acc + base_access_expr :: AccessExpression.Dereference base_access_expr :: acc | _ -> base_access_expr :: acc ) ~init:[] (Procdesc.get_locals cfg)