; RUN: opt < %s -functionattrs -S | not grep {nocapture *%%q}
; RUN: opt < %s -functionattrs -S | grep {nocapture *%%p}

define i32* @a(i32** %p) {
	%tmp = load i32** %p
	ret i32* %tmp
}

define i32* @b(i32 *%q) {
	%mem = alloca i32*
	store i32* %q, i32** %mem
	%tmp = call i32* @a(i32** %mem)
	ret i32* %tmp
}