Do not return known result in icmp when comparing with same object (&a == &b) - Githubissues

karelklic / canal

Abstract interpreter for real-world application programs

https://github.com/karelklic/canal/wiki

Other

32 stars 2 forks source link

Do not return known result in icmp when comparing with same object (&a == &b) #123

Closed xbrukner closed 11 years ago

xbrukner commented 11 years ago

Because of copy-on-write, the result has to be top, not true/false.