We in illumos are in the midst of updating our i40e code from Intel upstream. We found a bug in smatch while building it. It's documented here in: https://www.illumos.org/issues/13457 A colleague recommended I include a toy program, try the smatch `master` branch on a Linux distro, and submit the toy to this list. Its source is attached, ready to compile (without incident) and smatch (with one incident, but not two). You'll see two cases of potential failure, but only one (the one Intel source uses to confirm proper compilation) breaks smatch. Look for the KEBE comments. Once this bug gets fixed, I suspect we'll also be updating our branch of smatch as well. :) Thanks, Dan
Attachment:
pack.c
Description: Binary data