Make __builtin_object_size read access shallow (PR #696)
Make __builtin_object_size read access shallow (PR #696)

Should fix 04-mutex/70-memset_indirect_nr on MacOS CI.

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer