Accesses to atomic flat fields are mismatched accesses. As a result, allocations of objects with atomic flat fields cannot be removed because the compiler cannot see through the loads and stores to those fields.