Project

General

Profile

Bug #11506

smatch resync

Added by John Levon 12 months ago. Updated 11 months ago.

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

100%

Estimated time:
Difficulty:
Medium
Tags:
Gerrit CR:

Related issues

Related to illumos gate - Bug #11548: 11506 breaks the SPARC buildClosed

Actions

History

#1

Updated by John Levon 12 months ago

We're going to update to a current head of upstream smatch (and mark it as -il4).
This has various different fixes. We'll also build smatch in 64-bit to match illumos-joyent.
As a result of both of these, we'll need to turn off a little more smatch noise
and fix a source bug or two.

In addition:

- support a timeout=0 to disable the timeout
- fix up the timeout message
- teach smatch about cmn_err(CE_PANIC, ...) for improved reporting
- disable the constant opening of Linux /proc files that smatch does
#2

Updated by Electric Monk 11 months ago

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

git commit efe51d0cc2398b9ac179568b63a44e4bf295b8e2

commit  efe51d0cc2398b9ac179568b63a44e4bf295b8e2
Author: John Levon <john.levon@joyent.com>
Date:   2019-08-12T15:25:47.000Z

    11506 smatch resync
    Reviewed by: Yuri Pankov <yuri.pankov@nexenta.com>
    Reviewed by: Toomas Soome <tsoome@me.com>
    Approved by: Robert Mustacchi <rm@joyent.com>

#3

Updated by Peter Tribble 11 months ago

  • Related to Bug #11548: 11506 breaks the SPARC build added

Also available in: Atom PDF