Skip to content
GitLab
Commit a3614a31 authored by Nikita Popov's avatar Nikita Popov
Browse files

[BasicAA] Pass context instruction to isKnownNonZero() 

This allows us to handle additional cases like assumes.
parent b96a6ea0
Hide whitespace changes
Inline Side-by-side
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment