Project

General

Profile

Actions
Copy link

Bug #10848

closed

loader: disable libficl/vm.c smatch deref check

Added by Toomas Soome about 4 years ago. Updated about 4 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Toomas Soome
Category:
bootloader
Start date:
2019-04-24
Due date:
% Done:

100%

Estimated time:
Difficulty:
Bite-size
Tags:
Gerrit CR:
External Bug:

Description

The variable 'fw' handling is depending on longjump and smatch does think we might have it set NULL. Disable this check for now.

Actions
Copy link
 #1

Updated by Electric Monk about 4 years ago

  • Status changed from In Progress to Closed
  • % Done changed from 90 to 100

git commit adf7a658ee3948276f007c3374ca1ecbb5ede9c5

commit  adf7a658ee3948276f007c3374ca1ecbb5ede9c5
Author: Toomas Soome <tsoome@me.com>
Date:   2019-04-30T14:34:22.000Z

    10848 loader: disable libficl/vm.c smatch deref check
    Reviewed by: John Levon <john.levon@joyent.com>
    Approved by: Dan McDonald <danmcd@joyent.com>

Actions
Copy link

Also available in: Atom PDF