diff options
| author | Toomas Soome <tsoome@me.com> | 2019-04-04 23:59:34 +0300 |
|---|---|---|
| committer | Toomas Soome <tsoome@me.com> | 2019-04-30 17:34:22 +0300 |
| commit | adf7a658ee3948276f007c3374ca1ecbb5ede9c5 (patch) | |
| tree | 21fe32af93d2580f458c9f4ac109eb0da1fc62aa | |
| parent | 092a100d3e036d742afb02e2f572395e7dbe35ef (diff) | |
| download | illumos-joyent-adf7a658ee3948276f007c3374ca1ecbb5ede9c5.tar.gz | |
10848 loader: disable libficl/vm.c smatch deref check
Reviewed by: John Levon <john.levon@joyent.com>
Approved by: Dan McDonald <danmcd@joyent.com>
| -rw-r--r-- | usr/src/boot/sys/boot/libficl/Makefile.com | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/usr/src/boot/sys/boot/libficl/Makefile.com b/usr/src/boot/sys/boot/libficl/Makefile.com index db77cdce2f..1bb02d4a2d 100644 --- a/usr/src/boot/sys/boot/libficl/Makefile.com +++ b/usr/src/boot/sys/boot/libficl/Makefile.com @@ -33,6 +33,9 @@ OBJECTS += hash.o callback.o word.o loader.o HEADERS= $(FICLDIR)/ficl.h $(FICLDIR)/ficlplatform/unix.h ../ficllocal.h # +# disable inner loop variable 'fw' check +vm.o := SMOFF += check_check_deref + .PARALLEL: MAJOR = 4 |