]> git.sesse.net Git - vlc/commit
projects / vlc / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fe5605f) | patch
Remove dead code (CID #3)
authorRémi Denis-Courmont <rdenis@simphalempin.com>
Tue, 1 Jul 2008 20:18:20 +0000 (23:18 +0300)
committerRémi Denis-Courmont <rdenis@simphalempin.com>
Tue, 1 Jul 2008 20:24:13 +0000 (23:24 +0300)
commit2ab18523421ccdb4069d1e627d0aa4e7a71d37a0
tree3a050ec1a7a432065f854143cf77219cd1acda97tree | snapshot
parentfe5605fa2171af4bbeaa3f63b0218698da07e2e3commit | diff
Remove dead code (CID #3)

If (a < 0 || b < 0) is false, then (a >= 0 && b >= 0) is true,
which implies (a >= || b >= 0) is true as well.
And this was tagged as a FALSE positive!?!
modules/video_filter/osdmenu.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.