Project

General

Profile

Bug #10848

loader: disable libficl/vm.c smatch deref check

Added by Toomas Soome 7 months ago. Updated 7 months ago.

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

100%

Estimated time:
Difficulty:
Bite-size
Tags:

Description

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

History

#1

Updated by Electric Monk 7 months ago

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

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>

Also available in: Atom PDF