Project

General

Profile

Actions

Bug #13128

open

libc: smatch warn: impossible condition

Added by Toomas Soome almost 2 years ago. Updated almost 2 years ago.

Status:
In Progress
Priority:
Normal
Assignee:
Category:
lib - userland libraries
Start date:
Due date:
% Done:

90%

Estimated time:
Difficulty:
Medium
Tags:
Gerrit CR:

Description

smatch warnings:

    /code/illumos-gate/usr/src/tools/proto/root_sparc-nd/opt/onbld/bin/sparc/smatch: ../port/gen/localtime.c:745 mktime1() warn: impossible condition '(t > 9223372036854775807) => (s64min-s64max > s64max)'
    /code/illumos-gate/usr/src/tools/proto/root_sparc-nd/opt/onbld/bin/sparc/smatch: ../port/gen/localtime.c:745 mktime1() warn: impossible condition '(t < (-9223372036854775807 - 1)) => (s64min-s64max < s64min)'
    /code/illumos-gate/usr/src/tools/proto/root_sparc-nd/opt/onbld/bin/sparc/smatch: ../port/gen/localtime.c:818 mktime1() warn: impossible condition '(t > 9223372036854775807) => (s64min-s64max > s64max)'
    /code/illumos-gate/usr/src/tools/proto/root_sparc-nd/opt/onbld/bin/sparc/smatch: ../port/gen/localtime.c:818 mktime1() warn: impossible condition '(t < (-9223372036854775807 - 1)) => (s64min-s64max < s64min)'

    /code/illumos-gate/usr/src/tools/proto/root_sparc-nd/opt/onbld/bin/sparc/smatch: ../port/i18n/gettext_real.c:1079 handle_mo() warn: impossible condition '(statbuf.st_size > 9223372036854775807) => (s64min-s64max > s64max)'

    /code/illumos-gate/usr/src/tools/proto/root_sparc-nd/opt/onbld/bin/sparc/smatch: ../port/stdio/ftell.c:103 ftell() warn: impossible condition '(tres > 9223372036854775807) => (s64min-s64max > s64max)'

    code/illumos-gate/usr/src/tools/proto/root_sparc-nd/opt/onbld/bin/sparc/smatch: ../port/stdio/flush.c:1031 _xseek64() warn: impossible condition '(off > 9223372036854775807) => (s64min-s64max > s64max)'

    /code/illumos-gate/usr/src/tools/proto/root_sparc-nd/opt/onbld/bin/sparc/smatch: ../port/gen/getusershell.c:147 initshells() warn: impossible condition '(statb.st_size > 2147483647) => (s32min-s32max > s32max)'

    /code/illumos-gate/usr/src/tools/proto/root_sparc-nd/opt/onbld/bin/sparc/smatch: ../port/gen/random.c:231 initstate() warn: impossible condition '(size > 4294967295) => (0-u32max > u32max)'

Actions

Also available in: Atom PDF