Project

General

Profile

Actions

Bug #10077

closed

usr/src/uts/ Makefile changes for smatch

Added by John Levon almost 5 years ago. Updated over 4 years ago.

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

100%

Estimated time:
Difficulty:
Medium
Tags:
needs-triage
Gerrit CR:
External Bug:

Description

Mostly, we turn off smatch warnings, which should be evaluated later.

Actions #1

Updated by Electric Monk over 4 years ago

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

git commit b6b206fc7fb36f7b13b01acf70ed6e676e405998

commit  b6b206fc7fb36f7b13b01acf70ed6e676e405998
Author: John Levon <john.levon@joyent.com>
Date:   2019-01-09T10:47:40.000Z

    10077 usr/src/uts/ Makefile changes for smatch
    Reviewed by: Andy Fiddaman <andy@omniosce.org>
    Reviewed by: Jason King <jason.brian.king@gmail.com>
    Approved by: Hans Rosenfeld <rosenfeld@grumpf.hope-2000.org>

Actions

Also available in: Atom PDF