Re: [FFmpeg-devel] [PATCH 1/4] avformat/mov_chan: check channel count at compile time by using a nonconst expression

[Andreas Rheinhardt]

Marton Balint:
> If the channel tag does not match the number of channels, the constant
> expression evaluation should fail.
> 
> Signed-off-by: Marton Balint 
> ---
>  libavformat/mov_chan.c | 48 +++---
>  1 file changed, 22 insertions(+), 26 deletions(-)
> 
> diff --git a/libavformat/mov_chan.c b/libavformat/mov_chan.c
> index e7d181d71f..6ccc26b3f1 100644
> --- a/libavformat/mov_chan.c
> +++ b/libavformat/mov_chan.c
> @@ -81,24 +81,28 @@ struct MovChannelLayoutMap {
>  };
>  };
>  
> -#define TAG(_0)  {.tag = _0}
> -#define ID(_0)   {.id = c_##_0}
> -#define CHLIST(_0, ...)  TAG(_0), __VA_ARGS__
> -#define CHLIST01(_0, _1) CHLIST(_0, ID(_1))
> -#define CHLIST02(_0, _1, _2) CHLIST(_0, ID(_1), 
> ID(_2))
> -#define CHLIST03(_0, _1, _2, _3) CHLIST(_0, ID(_1), 
> ID(_2), ID(_3))
> -#define CHLIST04(_0, _1, _2, _3, _4) CHLIST(_0, ID(_1), 
> ID(_2), ID(_3), ID(_4))
> -#define CHLIST05(_0, _1, _2, _3, _4, _5) CHLIST(_0, ID(_1), 
> ID(_2), ID(_3), ID(_4), ID(_5))
> -#define CHLIST06(_0, _1, _2, _3, _4, _5, _6) CHLIST(_0, ID(_1), 
> ID(_2), ID(_3), ID(_4), ID(_5), ID(_6))
> -#define CHLIST07(_0, _1, _2, _3, _4, _5, _6, _7) CHLIST(_0, ID(_1), 
> ID(_2), ID(_3), ID(_4), ID(_5), ID(_6), ID(_7))
> -#define CHLIST08(_0, _1, _2, _3, _4, _5, _6, _7, _8) CHLIST(_0, ID(_1), 
> ID(_2), ID(_3), ID(_4), ID(_5), ID(_6), ID(_7), ID(_8))
> -#define CHLIST09(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9) CHLIST(_0, ID(_1), 
> ID(_2), ID(_3), ID(_4), ID(_5), ID(_6), ID(_7), ID(_8), ID(_9))
> -#define CHLIST16(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, 
> _14, _15, _16) \
> -CHLIST(_0, ID(_1),  ID(_2),  ID(_3),  ID(_4),  ID(_5),  ID(_6), ID(_7), 
> ID(_8), ID(_9), ID(_10), \
> -   ID(_11), ID(_12), ID(_13), ID(_14), ID(_15), ID(_16))
> -#define CHLIST21(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, 
> _14, _15, _16, _17, _18, _19, _20, _21) \
> -CHLIST(_0, ID(_1),  ID(_2),  ID(_3),  ID(_4),  ID(_5),  ID(_6),  ID(_7), 
>  ID(_8),  ID(_9),  ID(_10), \
> -   ID(_11), ID(_12), ID(_13), ID(_14), ID(_15), ID(_16), 
> ID(_17), ID(_18), ID(_19), ID(_20), ID(_21))
> +static int nonconst_expr(void) {
> +return 0;
> +}
> +
> +#define TAG(_tag, _cnt){.tag = (_tag & 
> 0x) == _cnt ? _tag : nonconst_expr()}
> +#define ID(_0) {.id = c_##_0}
> +#define CHLIST(_tag, _cnt, ...)TAG(_tag, _cnt), 
> __VA_ARGS__
> +#define CHLIST01(_tag, _1) CHLIST(_tag, 1, 
> ID(_1))
> +#define CHLIST02(_tag, _1, _2) CHLIST(_tag, 2, 
> ID(_1), ID(_2))
> +#define CHLIST03(_tag, _1, _2, _3) CHLIST(_tag, 3, 
> ID(_1), ID(_2), ID(_3))
> +#define CHLIST04(_tag, _1, _2, _3, _4) CHLIST(_tag, 4, 
> ID(_1), ID(_2), ID(_3), ID(_4))
> +#define CHLIST05(_tag, _1, _2, _3, _4, _5) CHLIST(_tag, 5, 
> ID(_1), ID(_2), ID(_3), ID(_4), ID(_5))
> +#define CHLIST06(_tag, _1, _2, _3, _4, _5, _6) CHLIST(_tag, 6, 
> ID(_1), ID(_2), ID(_3), ID(_4), ID(_5), ID(_6))
> +#define CHLIST07(_tag, _1, _2, _3, _4, _5, _6, _7) CHLIST(_tag, 7, 
> ID(_1), ID(_2), ID(_3), ID(_4), ID(_5), ID(_6), ID(_7))
> +#define CHLIST08(_tag, _1, _2, _3, _4, _5, _6, _7, _8) CHLIST(_tag, 8, 
> ID(_1), ID(_2), ID(_3), ID(_4), ID(_5), ID(_6), ID(_7), ID(_8))
> +#define CHLIST09(_tag, _1, _2, _3, _4, _5, _6, _7, _8, _9) CHLIST(_tag, 9, 
> ID(_1), ID(_2), ID(_3), ID(_4), ID(_5), ID(_6), ID(_7), ID(_8), ID(_9))
> +#define CHLIST16(_tag, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, 
> _13, _14, _15, _16) \
> +CHLIST(_tag, 16, ID(_1),  ID(_2),  ID(_3),  ID(_4),  ID(_5),  ID(_6), 
> ID(_7), ID(_8), ID(_9), ID(_10), \
> + ID(_11), ID(_12), ID(_13), ID(_14), ID(_15), ID(_16))
> +#define CHLIST21(_tag, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, 
> _13, _14, _15, _16, _17, _18, _19, _20, _21) \
> +CHLIST(_tag, 21, ID(_1),  ID(_2),  ID(_3),  ID(_4),  ID(_5),  ID(_6),  
> ID(_7),  ID(_8),  ID(_9),  ID(_10), \
> + ID(_11), ID(_12), ID(_13), ID(_14), ID(_15), ID(_16), 
> ID(_17), ID(_18), ID(_19), ID(_20), ID(_21))
>  
>  static const struct MovChannelLayoutMap mov_ch_layout_map[] = {
>  CHLIST01( MOV_CH_LAYOUT_MONO, C ),
> @@ -281,14 +285,6 @@ static const struct {
>  
>  static const struct MovChannelLayoutMap* find_layout_map(uint32_t tag)
>  {
> -#if defined(ASSERT_LEVEL) && ASSERT_LEVEL > 1
> -{
> -int i;
> -for (i = 0; i < FF_ARRAY_ELEMS(mov_ch_layout_map); i += 1 + 
> (mov_ch_layout_map[i].tag & 0x))
> -

[FFmpeg-devel] [PATCH 1/4] avformat/mov_chan: check channel count at compile time by using a nonconst expression

[Marton Balint]

If the channel tag does not match the number of channels, the constant
expression evaluation should fail.

Signed-off-by: Marton Balint 
---
 libavformat/mov_chan.c | 48 +++---
 1 file changed, 22 insertions(+), 26 deletions(-)

diff --git a/libavformat/mov_chan.c b/libavformat/mov_chan.c
index e7d181d71f..6ccc26b3f1 100644
--- a/libavformat/mov_chan.c
+++ b/libavformat/mov_chan.c
@@ -81,24 +81,28 @@ struct MovChannelLayoutMap {
 };
 };
 
-#define TAG(_0)  {.tag = _0}
-#define ID(_0)   {.id = c_##_0}
-#define CHLIST(_0, ...)  TAG(_0), __VA_ARGS__
-#define CHLIST01(_0, _1) CHLIST(_0, ID(_1))
-#define CHLIST02(_0, _1, _2) CHLIST(_0, ID(_1), 
ID(_2))
-#define CHLIST03(_0, _1, _2, _3) CHLIST(_0, ID(_1), 
ID(_2), ID(_3))
-#define CHLIST04(_0, _1, _2, _3, _4) CHLIST(_0, ID(_1), 
ID(_2), ID(_3), ID(_4))
-#define CHLIST05(_0, _1, _2, _3, _4, _5) CHLIST(_0, ID(_1), 
ID(_2), ID(_3), ID(_4), ID(_5))
-#define CHLIST06(_0, _1, _2, _3, _4, _5, _6) CHLIST(_0, ID(_1), 
ID(_2), ID(_3), ID(_4), ID(_5), ID(_6))
-#define CHLIST07(_0, _1, _2, _3, _4, _5, _6, _7) CHLIST(_0, ID(_1), 
ID(_2), ID(_3), ID(_4), ID(_5), ID(_6), ID(_7))
-#define CHLIST08(_0, _1, _2, _3, _4, _5, _6, _7, _8) CHLIST(_0, ID(_1), 
ID(_2), ID(_3), ID(_4), ID(_5), ID(_6), ID(_7), ID(_8))
-#define CHLIST09(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9) CHLIST(_0, ID(_1), 
ID(_2), ID(_3), ID(_4), ID(_5), ID(_6), ID(_7), ID(_8), ID(_9))
-#define CHLIST16(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, 
_14, _15, _16) \
-CHLIST(_0, ID(_1),  ID(_2),  ID(_3),  ID(_4),  ID(_5),  ID(_6), ID(_7), 
ID(_8), ID(_9), ID(_10), \
-   ID(_11), ID(_12), ID(_13), ID(_14), ID(_15), ID(_16))
-#define CHLIST21(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, 
_14, _15, _16, _17, _18, _19, _20, _21) \
-CHLIST(_0, ID(_1),  ID(_2),  ID(_3),  ID(_4),  ID(_5),  ID(_6),  ID(_7),  
ID(_8),  ID(_9),  ID(_10), \
-   ID(_11), ID(_12), ID(_13), ID(_14), ID(_15), ID(_16), ID(_17), 
ID(_18), ID(_19), ID(_20), ID(_21))
+static int nonconst_expr(void) {
+return 0;
+}
+
+#define TAG(_tag, _cnt){.tag = (_tag & 
0x) == _cnt ? _tag : nonconst_expr()}
+#define ID(_0) {.id = c_##_0}
+#define CHLIST(_tag, _cnt, ...)TAG(_tag, _cnt), 
__VA_ARGS__
+#define CHLIST01(_tag, _1) CHLIST(_tag, 1, 
ID(_1))
+#define CHLIST02(_tag, _1, _2) CHLIST(_tag, 2, 
ID(_1), ID(_2))
+#define CHLIST03(_tag, _1, _2, _3) CHLIST(_tag, 3, 
ID(_1), ID(_2), ID(_3))
+#define CHLIST04(_tag, _1, _2, _3, _4) CHLIST(_tag, 4, 
ID(_1), ID(_2), ID(_3), ID(_4))
+#define CHLIST05(_tag, _1, _2, _3, _4, _5) CHLIST(_tag, 5, 
ID(_1), ID(_2), ID(_3), ID(_4), ID(_5))
+#define CHLIST06(_tag, _1, _2, _3, _4, _5, _6) CHLIST(_tag, 6, 
ID(_1), ID(_2), ID(_3), ID(_4), ID(_5), ID(_6))
+#define CHLIST07(_tag, _1, _2, _3, _4, _5, _6, _7) CHLIST(_tag, 7, 
ID(_1), ID(_2), ID(_3), ID(_4), ID(_5), ID(_6), ID(_7))
+#define CHLIST08(_tag, _1, _2, _3, _4, _5, _6, _7, _8) CHLIST(_tag, 8, 
ID(_1), ID(_2), ID(_3), ID(_4), ID(_5), ID(_6), ID(_7), ID(_8))
+#define CHLIST09(_tag, _1, _2, _3, _4, _5, _6, _7, _8, _9) CHLIST(_tag, 9, 
ID(_1), ID(_2), ID(_3), ID(_4), ID(_5), ID(_6), ID(_7), ID(_8), ID(_9))
+#define CHLIST16(_tag, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, 
_14, _15, _16) \
+CHLIST(_tag, 16, ID(_1),  ID(_2),  ID(_3),  ID(_4),  ID(_5),  ID(_6), 
ID(_7), ID(_8), ID(_9), ID(_10), \
+ ID(_11), ID(_12), ID(_13), ID(_14), ID(_15), ID(_16))
+#define CHLIST21(_tag, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, 
_14, _15, _16, _17, _18, _19, _20, _21) \
+CHLIST(_tag, 21, ID(_1),  ID(_2),  ID(_3),  ID(_4),  ID(_5),  ID(_6),  
ID(_7),  ID(_8),  ID(_9),  ID(_10), \
+ ID(_11), ID(_12), ID(_13), ID(_14), ID(_15), ID(_16), 
ID(_17), ID(_18), ID(_19), ID(_20), ID(_21))
 
 static const struct MovChannelLayoutMap mov_ch_layout_map[] = {
 CHLIST01( MOV_CH_LAYOUT_MONO, C ),
@@ -281,14 +285,6 @@ static const struct {
 
 static const struct MovChannelLayoutMap* find_layout_map(uint32_t tag)
 {
-#if defined(ASSERT_LEVEL) && ASSERT_LEVEL > 1
-{
-int i;
-for (i = 0; i < FF_ARRAY_ELEMS(mov_ch_layout_map); i += 1 + 
(mov_ch_layout_map[i].tag & 0x))
-av_assert2(mov_ch_layout_map[i].tag & 0x);
-av_assert2(i == FF_ARRAY_ELEMS(mov_ch_layout_map));
-}
-#endif
 for (int i = 0; i < FF_ARRAY_ELEMS(mov_ch_layout_map); i += 1 +