Integrated: JDK-8319301: Static analysis warnings after JDK-8318016
Thomas Stuefe
stuefe at openjdk.org
Thu Nov 16 07:32:45 UTC 2023
On Mon, 13 Nov 2023 13:34:56 GMT, Thomas Stuefe <stuefe at openjdk.org> wrote:
> Sonar reports two new troubles in compileOracle.cpp:
>
> 1) "left operand of '-' is a garbage value", when seeing that `line` might not be initialized properly:
>
>
> char* end;
> if (!parse_integer<size_t>(line, &end, &s)) {
> jio_snprintf(errorbuf, buf_size, "MemLimit: invalid value");
> }
> bytes_read = (int)(end - line); // <---- here
>
>
> 2) "3rd function call argument is an uninitialized value", because there is an early `return true` from parseMemLimit that does not initialize `value`:
>
>
> // Special handling for memlimit
> bool success = (option == CompileCommand::MemLimit) && parseMemLimit(line, value, bytes_read, errorbuf, buf_size);
> if (!success) {
> // Is it a raw number?
> success = sscanf(line, "" INTX_FORMAT "%n", &value, &bytes_read) == 1;
> }
> if (success) {
> total_bytes_read += bytes_read;
> line += bytes_read;
> register_command(matcher, option, value); // <---- here
>
>
> Patch fixes both instances and adds new regression test.
This pull request has now been integrated.
Changeset: eaa4417f
Author: Thomas Stuefe <stuefe at openjdk.org>
URL: https://git.openjdk.org/jdk/commit/eaa4417f5cdc14cb08c4f694ce9705cb3e0ef167
Stats: 92 lines in 2 files changed: 87 ins; 1 del; 4 mod
8319301: Static analysis warnings after JDK-8318016
Reviewed-by: thartmann, kvn
-------------
PR: https://git.openjdk.org/jdk/pull/16631
More information about the hotspot-compiler-dev
mailing list