From: Michael Niedermayer <michael@niedermayer.cc>
To: FFmpeg development discussions and patches <ffmpeg-devel@ffmpeg.org>
Subject: Re: [FFmpeg-devel] [PATCH] avcodec/texturedspenc: Fix indexing in color distribution determination
Date: Tue, 24 May 2022 01:24:42 +0200
Message-ID: <20220523232442.GW396728@pb2> (raw)
In-Reply-To: <CABLWnS-W57zTdLMHwZC78d9un2F1e57GHEG7vj0Kqc6xoz7Yyw@mail.gmail.com>
[-- Attachment #1.1: Type: text/plain, Size: 1584 bytes --]
On Wed, Jan 04, 2017 at 11:52:50PM +0100, Vittorio Giovara wrote:
> On Wed, Jan 4, 2017 at 1:06 AM, Michael Niedermayer
> <michael@niedermayer.cc> wrote:
> > On Tue, Jan 03, 2017 at 02:15:20PM +0100, Vittorio Giovara wrote:
> >> On Mon, Jan 2, 2017 at 2:00 AM, James Almer <jamrial@gmail.com> wrote:
> >> > On 1/1/2017 8:28 PM, Michael Niedermayer wrote:
> >> >> Fixes CID1396405
> >>
> >> What is the CID about?
> >
> > sorry for not quoting this prviously, it isnt very interresting.
> > my patch is based on just this and guesswork, which is why it should
> > be tested.
> >
> > 257 for (y = 0; y < 4; y++) {
> > assignment: Assigning: x = 4.
> > const: At condition x < 4, the value of x must be equal to 4.
> > dead_error_condition: The condition x < 4 cannot be true.
> > 258 for (x = 4; x < 4; x += 4) {
> > CID 1396405 (#1 of 1): Logically dead code (DEADCODE)dead_error_begin: Execution cannot reach this statement: muv += bp[x * 4 + y * stride];.
>
> Ah, yes that seems wrong, probably a leftover of the code conversion
> (from https://github.com/nothings/stb/blob/master/stb_dxt.h#L293-L298)
> I believe it should be sufficient to do `for (x = 0; x < 4; x++)` but
> I won't be able to test that for a while I'm afraid
This issue seems stil open, i just stumbled accross the CID again
when looking at coverity
anyone has means to test this ?
thx
[...]
--
Michael GnuPG fingerprint: 9FF2128B147EF6730BADF133611EC787040B0FAB
Never trust a computer, one day, it may think you are the virus. -- Compn
[-- Attachment #1.2: signature.asc --]
[-- Type: application/pgp-signature, Size: 195 bytes --]
[-- Attachment #2: Type: text/plain, Size: 251 bytes --]
_______________________________________________
ffmpeg-devel mailing list
ffmpeg-devel@ffmpeg.org
https://ffmpeg.org/mailman/listinfo/ffmpeg-devel
To unsubscribe, visit link above, or email
ffmpeg-devel-request@ffmpeg.org with subject "unsubscribe".
next parent reply other threads:[~2022-05-23 23:24 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <20170101232833.24472-1-michael@niedermayer.cc>
[not found] ` <2cbd676e-ab01-741f-3233-7971414f5525@gmail.com>
[not found] ` <CABLWnS_6A19Uvrh_6J9U2CWgS_D9AW-3nc+YUqu07A5H0LSaNw@mail.gmail.com>
[not found] ` <20170104000650.GS4749@nb4>
[not found] ` <CABLWnS-W57zTdLMHwZC78d9un2F1e57GHEG7vj0Kqc6xoz7Yyw@mail.gmail.com>
2022-05-23 23:24 ` Michael Niedermayer [this message]
2022-06-08 22:06 ` Marton Balint
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20220523232442.GW396728@pb2 \
--to=michael@niedermayer.cc \
--cc=ffmpeg-devel@ffmpeg.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Git Inbox Mirror of the ffmpeg-devel mailing list - see https://ffmpeg.org/mailman/listinfo/ffmpeg-devel
This inbox may be cloned and mirrored by anyone:
git clone --mirror https://master.gitmailbox.com/ffmpegdev/0 ffmpegdev/git/0.git
# If you have public-inbox 1.1+ installed, you may
# initialize and index your mirror using the following commands:
public-inbox-init -V2 ffmpegdev ffmpegdev/ https://master.gitmailbox.com/ffmpegdev \
ffmpegdev@gitmailbox.com
public-inbox-index ffmpegdev
Example config snippet for mirrors.
AGPL code for this site: git clone https://public-inbox.org/public-inbox.git