[PATCH] D50039: [FunctionAttrs] Added nonnull atribute to libc function args

[Dávid Bolvanský via Phabricator via llvm-commits]

xbolva00 added a comment.

InstCombine does something weird for me.

define dso_local i32 @fff6(i8* nocapture readonly %s) local_unnamed_addr #5 {
entry:

  %call = tail call i64 @strlen(i8* %s) #8
  %conv = trunc i64 %call to i32
  ret i32 %conv

}

I add nonnull for strlen so... -> call i64 @strlen(i8* nonnull %s) but after -instcombine we have undef here
define dso_local i32 @fff6(i8* nocapture readonly %s) local_unnamed_addr #5 {
entry:

  ret i32 undef

}

I will look more closely to visitCallSite...


https://reviews.llvm.org/D50039