./bin/opt -attributor --attributor-disable=false poster.ll -S

poster_out.ll

; ModuleID = 'poster.ll'
source_filename = "poster.ll"

@G = common global i32 0

; Function Attrs: nofree nosync nounwind willreturn writeonly
define internal i32 @local(i32* nocapture nonnull writeonly align 32 dereferenceable(4) %P) #0 {
  store i32 41, i32* %P, align 32
  br label %end

end:                                              ; preds = %0
  ret i32 undef
}

; Function Attrs: nofree nosync nounwind willreturn writeonly
define i32 @visible(i32* nocapture nonnull writeonly align 32 dereferenceable(4) %P) #0 {
  %r = call i32 @local(i32* nocapture nonnull writeonly align 32 dereferenceable(4) %P) #0
  ret i32 41
}

attributes #0 = { nofree nosync nounwind willreturn writeonly }