Skip to content
Commit a5ec99da authored by Florian Hahn's avatar Florian Hahn
Browse files

[DSE] Support eliminating memcpy.inline. 

MemoryLocation has been taught about memcpy.inline, which means we can
get the memory locations read and written by it. This means DSE can
handle memcpy.inline
parent ec46cfef
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment