Wrong types for attribute

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