File tree Expand file tree Collapse file tree 1 file changed +6
-6
lines changed Expand file tree Collapse file tree 1 file changed +6
-6
lines changed Original file line number Diff line number Diff line change @@ -534,12 +534,12 @@ struct
534534 (* convert IndexPI to Index offset *)
535535 (* TODO: this applies eq_set_clos under the offset, unlike cases below; should generalize? *)
536536 Queries.ES. fold (fun e acc -> (* filter_map *)
537- match e with
538- | CastE (_ , StartOf a' ) -> (* eq_set adds casts *)
539- let e' = AddrOf (Cil. addOffsetLval (Index (i, os)) a') in (* TODO: re-add cast? *)
540- Queries.ES. add e' acc
541- | _ -> acc
542- ) (eq_set_clos a s) (Queries.ES. empty () )
537+ match e with
538+ | CastE (_ , StartOf a' ) -> (* eq_set adds casts *)
539+ let e' = AddrOf (Cil. addOffsetLval (Index (i, os)) a') in (* TODO: re-add cast? *)
540+ Queries.ES. add e' acc
541+ | _ -> acc
542+ ) (eq_set_clos a s) (Queries.ES. empty () )
543543 | SizeOf _
544544 | SizeOfE _
545545 | SizeOfStr _
You can’t perform that action at this time.
0 commit comments