Project

General

Profile

Actions
Copy link

Bug #12724

closed

update smatch to 0.6.1-rc1-il-5

Added by John Levon about 2 years ago. Updated almost 2 years ago.

Status:
Closed
Priority:
Normal
Assignee:
John Levon
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'

Actions
Copy link
 #1

Updated by John Levon almost 2 years ago

I tested this with a full build

Actions
Copy link
 #2

Updated by John Levon almost 2 years ago

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

Actions
Copy link
 #3

Updated by Electric Monk almost 2 years 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>

Actions
Copy link

Also available in: Atom PDF