False positive for "Out of bound memory access (accessed memory precedes memory block)" in C

[Abbas (Abbas Sabra)]

@barbibulle, my bad I was able to reproduce it by declaring without implementing encode. I created this ticket in order to fix it. This is a pretty serious bug, so hopefully, we are going to fix it by next release

Thanks a lot for reporting this and for the detailed explanation!