Project

General

Profile

Bug #12724

update smatch to 0.6.1-rc1-il-5

Added by John Levon about 2 months ago. Updated about 1 month ago.

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

100%

Estimated time:
Difficulty:
Medium
Tags:
Gerrit CR:

Description

Should hopefully fix 12241 smatch: misreported 'mask and shift to zero'

History

#1

Updated by John Levon about 1 month ago

I tested this with a full build

#2

Updated by John Levon about 1 month ago

NB: this apparently does not fix #12241 but there is still no usable test case for that.

#3

Updated by Electric Monk about 1 month ago

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

git commit 6523a3aa7f325d64841382707603be7a86e68147

commit  6523a3aa7f325d64841382707603be7a86e68147
Author: John Levon <john.levon@joyent.com>
Date:   2020-06-04T09:51:57.000Z

    12724 update smatch to 0.6.1-rc1-il-5
    Reviewed by: Toomas Soome <tsoome@me.com>
    Reviewed by: Robert Mustacchi <rm@fingolfin.org>
    Approved by: Dan McDonald <danmcd@joyent.com>

Also available in: Atom PDF