]> git.tuebingen.mpg.de Git - paraslash.git/commit
projects / paraslash.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4e9a54f) | patch
filter_common: Annotate possible NULL pointer confusion.
authorAndre Noll <maan@tuebingen.mpg.de>
Mon, 13 May 2024 21:25:08 +0000 (23:25 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Thu, 16 May 2024 23:45:28 +0000 (01:45 +0200)
commit71dedef6671266196a93a83292002551e15559b7
tree45da25cc1278e1c283b2e0f02df1e64579d8932btree | snapshot
parent4e9a54f38e39a60af912f807d35ce9d61fd6c301commit | diff
filter_common: Annotate possible NULL pointer confusion.

We know at this point that filter_num is good, hence filter_get()
returns non-NULL, but gcc-13's static analyzer does not see this and
warns. The added assertion makes the warning go away and tells the
reader that f == NULL is considered impossible here.
filter_common.c diff | blob | history
paraslash - network audio streaming tools