https://bugs.exim.org/show_bug.cgi?id=2308
--- Comment #3 from Petr Pisar <ppisar@???> ---
I don't have an example that would trigger the undefined behavior. It was found
by a static analysis and I was unable to dismiss it as a false negative. The
analyzer (covscan) did not provide much clue:
1. pcre2-10.31/src/pcre2_jit_compile.c:5844: var_decl: Declaring variable
"char_list" without initializer.
30. pcre2-10.31/src/pcre2_jit_compile.c:5900: uninit_use: Using uninitialized
value "char_list[0]".
# 5898| j = 0;
# 5899|
# 5900|-> if (char_list[0] == 0)
# 5901| {
# 5902| i++;
If you think it's impossible, then fine. I only wanted to raise a possible bug.
--
You are receiving this mail because:
You are on the CC list for the bug.
