OS-7790: enable smatch build for illumos-joyent

Details

Issue Type:Bug
Priority:4 - Normal
Status:Resolved
Created at:2019-05-08T13:20:28.761Z
Updated at:2019-07-23T19:31:15.692Z

People

Created by:John Levon [X]
Reported by:John Levon [X]
Assigned to:John Levon [X]

Resolution

Fixed: A fix for this issue is checked into the tree and tested.
(Resolution Date: 2019-07-23T11:52:00.726Z)

Fix Versions

2019-08-29 Zoo York (Release Date: 2019-08-29)

Related Links

Description

As we are nearing the point of being smatch clean, we should support smatch builds in smartos-live. My preference right now is that we default to doing smatch, and have an option to disable it.

Comments

Comment by John Levon [X]
Created at 2019-07-22T12:33:27.641Z

Testing: I checked a full clean build succeeds with smatch on after running "./configure", and that "./configure -S" sets build.env and builds illumos appropriately


Comment by Jira Bot
Created at 2019-07-23T11:38:13.265Z

illumos-joyent commit c697085b76d32ea7025959f61179747ba7a9f921 (branch master, by John Levon)

OS-7790 enable smatch build for illumos-joyent
Reviewed by: Robert Mustacchi <rm@joyent.com>
Approved by: Tim Foster <tim.foster@joyent.com>


Comment by Jira Bot
Created at 2019-07-23T11:38:15.553Z

smartos-live commit 268b14a794fc129949d99abfe78e13d4f4a6d3a1 (branch master, by John Levon)

OS-7790 enable smatch build for illumos-joyent
Reviewed by: Robert Mustacchi <rm@joyent.com>
Approved by: Tim Foster <tim.foster@joyent.com>


Comment by Jira Bot
Created at 2019-07-23T19:31:15.692Z

illumos-joyent commit 2da796e74860394b745e12d55473509fafec2c04 (branch master, by John Levon)

OS-7790 enable smatch build for illumos-joyent (fix gcc7 build)
Reviewed by: Tim Foster <tim.foster@joyent.com>
Approved by: Tim Foster <tim.foster@joyent.com>