]> git.sesse.net Git - ffmpeg/commit
avcodec/golomb: Document return value of get_ue_golomb_31 on error
authorAndreas Rheinhardt <andreas.rheinhardt@gmail.com>
Tue, 14 Jul 2020 12:59:47 +0000 (14:59 +0200)
committerAndreas Rheinhardt <andreas.rheinhardt@gmail.com>
Wed, 29 Jul 2020 03:06:35 +0000 (05:06 +0200)
commit2d5407d390728d4d4a4d8f36a8fe69ff490f54e4
tree504826d8ea95f0968ec098c8242577ccac5d7315
parent69636b443c4f40286135ad9658b5d44a9de4f3a4
avcodec/golomb: Document return value of get_ue_golomb_31 on error

get_ue_golomb_31() reads nine bits and an array with 512 entries to
parse golomb codes. The longest golomb codes that fit into 9 bits use
four leading zeroes and five value bits and can encode numbers in the
0..30 range. 31 meanwhile is encoded on 11 bits and if the nine bits
read coincide with the first nine bits of the encoding of 31,
get_ue_golomb_31() returns 31 (and skips 11 bits).

But looking at the first nine bits only makes it impossible to distinguish
31 from 32..34. Therefore the documentation of get_ue_golomb_31() simply
states that the return value is undefined if the value of the encountered
exp golomb code was outside the 0..31 range.

But actually get_ue_golomb_31() does not behave that bad: If the returned
value is in the range of 0..30, then this is the actually encountered value,
so that this function can be used without any problems to parse and validate
parameters whose legal values are a subset of the 0..30 range.

This commit documents this fact.

Reviewed-by: Michael Niedermayer <michael@niedermayer.cc>
Signed-off-by: Andreas Rheinhardt <andreas.rheinhardt@gmail.com>
libavcodec/golomb.h