"zhilizhao(赵志立)": > > >> On Oct 26, 2020, at 3:24 PM, Andreas Rheinhardt >> <[email protected]> wrote: >> >> Andreas Rheinhardt: >>> They are always in the range 0..15, so using an int is not necessary. >>> Furthermore, using an int would not work if sizeof(int) == 4 as > > You mean if sizeof(int) != 4 ? >
Good catch. Fixed locally. Thanks. - Andreas _______________________________________________ ffmpeg-devel mailing list [email protected] https://ffmpeg.org/mailman/listinfo/ffmpeg-devel To unsubscribe, visit link above, or email [email protected] with subject "unsubscribe".
