Project

General

Profile

Bug #10323

cpcgen_parse_model() gets value check wrong

Added by John Levon about 1 year ago. Updated 11 months ago.

Status:
Closed
Priority:
Normal
Assignee:
Category:
-
Start date:
2019-01-30
Due date:
% Done:

100%

Estimated time:
Difficulty:
Medium
Tags:
needs-triage smatch

Description

The long returned from strtol() cannot be more than UINT_MAX.


Related issues

Related to illumos gate - Bug #11200: cpcgen needs smatch fixes againClosed

Actions

History

#1

Updated by John Levon about 1 year ago

  • Tags changed from needs-triage to needs-triage smatch

/export/home/gk/src/illumos-gate/usr/src/tools/proto/root_i386-nd/opt/onbld/bin/i386/smatch: cpcgen.c:320 cpcgen_parse_model() warn: impossible condition '(l > 4294967295) => (0-u32max > u32max)'
/export/home/gk/src/illumos-gate/usr/src/tools/proto/root_i386-nd/opt/onbld/bin/i386/smatch: cpcgen.c:326 cpcgen_parse_model() warn: impossible condition '(l > 4294967295) => (0-u32max > u32max)'

#2

Updated by Electric Monk 11 months ago

  • Status changed from New to Closed
  • % Done changed from 0 to 100

git commit 08f1bbed5edd2a2e9c8be7b7424c32e67c2f3f2c

commit  08f1bbed5edd2a2e9c8be7b7424c32e67c2f3f2c
Author: John Levon <john.levon@joyent.com>
Date:   2019-03-13T19:04:48.000Z

    10323 cpcgen_parse_model() gets value check wrong
    Reviewed by: Robert Mustacchi <rm@joyent.com>
    Reviewed by: Andy Stormont <astormont@racktopsystems.com>
    Reviewed by: Gergő Doma <domag02@gmail.com>
    Approved by: Richard Lowe <richlowe@richlowe.net>

#3

Updated by Dan McDonald 9 months ago

  • Related to Bug #11200: cpcgen needs smatch fixes again added

Also available in: Atom PDF