xbolva00 added a comment. >From some libc function we can get more info: memcmp(p, d, 16) Both p and d can be annotated with derefencable(16), right? @efriedma CHANGES SINCE LAST ACTION https://reviews.llvm.org/D53342/new/ https://reviews.llvm.org/D53342