History log of /illumos-gate/usr/src/tools/smatch/src/validation/sm_locking3.c (Results 1 – 2 of 2)
Revision Date Author Comments
# 31ad075e 23-Jan-2020 John Levon

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


# 1f5207b7 15-Dec-2018 John Levon

10063 basic support for smatch
10153 checkpaths shouldn't check packaging exceptions
Reviewed by: Toomas Soome <tsoome@me.com>
Approved by: Dan McDonald <danmcd@joyent.com>