Handle 'null' argument - Githubissues

japaric / cargo-call-stack

Whole program static stack analysis

Apache License 2.0

563 stars 51 forks source link

Handle 'null' argument #64

Closed lulf closed 2 years ago

lulf commented 2 years ago

I encountered an IR statement that contained dereferenceable_or_null(4) null, which is not handled by the parser. I added a unit test with the statement as well as an attempted fix.

japaric commented 2 years ago

thanks!