acctadm *SOMETIMES* triggers smatch error
It's been more frequent of late in our Jenkins builds. We're seeing:
/root/data/jenkins/workspace/smartos-master-debug/projects/illumos/usr/src/tools/proto/root_i386-nd/opt/onbld/bin/i386/smatch: main.c:377 main() warn: passing freed memory 'buf' /root/data/jenkins/workspace/smartos-master-debug/projects/illumos/usr/src/tools/proto/root_i386-nd/opt/onbld/bin/i386/smatch: main.c:388 main() warn: passing freed memory 'buf'
Even though the ONLY way "buf" is freed before hitting those two lines are via free() calls before die(), which exits the program. Is it a bug in the program? Or in smatch?