I am using DataFlowSanitizer pass on ping (inetutuils) source. On clang optimization level higher than O0, I receive the following error:
One place is suspicious,
i16 nonnull %64
According to the LangRef , `nonnull` attribute can only be applied
on pointer typed parameter. I guess that's why
you receive such kind of error.
BTW, could you try the latest release? I notice you're using LLVM 3.8.