]> git.tue.mpg.de Git - paraslash.git/commit
projects / paraslash.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ce90164) | 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>
Sun, 26 May 2024 16:12:45 +0000 (18:12 +0200)
commit05a0de6800ab6dc66a62bffaf3a137b4fd192b4b
tree53a2e452005a9524629a655d33aba290021ad97ftree | snapshot
parentce90164c8b761e17e55a186c8b021ecb55b8fdb5commit | diff
filter_common: Annotate possible NULL pointer confusion.

We know at this point that filter_num is good, so 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 impossible here.
filter_common.c diff | blob | history
paraslash - network audio streaming tools