The Stanford checker disclose that vxfs_read_fshead was missing any unwinding in the error cases..
Attach a file by drag & drop or click to upload
