I am using DataFlowSanitizer pass on ping (inetutuils) source. On clang optimization level higher than O0, I receive the following error:
Hi Dipanjan,
One place is suspicious,
i16 nonnull %64
According to the LangRef [1], `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.
[1] https://llvm.org/docs/LangRef.html#parameter-attributes
Regards,
chenwj