[master] 0d6803d29 Quench flexelint noise

[Poul-Henning Kamp]

commit 0d6803d293420dc655c14a9b06450e26f3e73476
Author: Poul-Henning Kamp <phk at FreeBSD.org>
Date:   Mon Feb 4 15:26:31 2019 +0000

    Quench flexelint noise

diff --git a/lib/libvcc/vmodtool.py b/lib/libvcc/vmodtool.py
index 310f4a43f..94a9f5a71 100755
--- a/lib/libvcc/vmodtool.py
+++ b/lib/libvcc/vmodtool.py
@@ -960,6 +960,9 @@ class vcc(object):
         fo.write('#define VPFX(a) %s##a\n' % self.sympfx)
         fo.write('#define VARGS(a) arg_%s##a\n' % self.sympfx)
         fo.write('#define VENUM(a) enum_%s##a\n' % self.sympfx)
+        fo.write('//lint -esym(755, VPFX)\n')
+        fo.write('//lint -esym(755, VARGS)\n')
+        fo.write('//lint -esym(755, VENUM)\n')
         fo.write('\n')
 
         for j in sorted(self.enums):