fluxchief/binaryninja_avr

LLIL for conditional branches is incorrect

KarlVogel opened this issue · 2 comments

return il.compare_equal(1, il.const(1, 0), il.flag('C'))

Looks like a copy and paste issue. Shouldn't the 'is set' variants be using il.const(1, 1) ?

Yep, sounds about right. I'll push a fix soon.

Should be fixed now.