HomePhabricator

[DSE] Bail out from getLocForWriteEx if call is not argmemonly/inacc_mem.

Authored by fhahn on Oct 20 2020, 5:27 AM.

Description

[DSE] Bail out from getLocForWriteEx if call is not argmemonly/inacc_mem.

This change should currently not have any impact, but guard against
further inconsistencies between MemoryLocation and function attributes.

Details

Committed
fhahnOct 20 2020, 6:37 AM
Parents
rG6487ffafd1dd: Reland "[yaml2obj][ELF] - Simplify the code that performs sections validation."
Branches
Unknown
Tags
Unknown