| ; 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 | |
| } |