sys
sys copied to clipboard
Optionally suppress uninit reports that come from loop headers
On longer block bounds, there are a number of reports related to unentered loops (that can never feasibly be unenetered). Probably makes sense to just optionally ignore things that come from skipping loop headers (the LLVM has a %loop annotation we can use)