[llvm-dev] Pointer to a vector as an argument to memcpy

[Artur Pilipenko via llvm-dev]

The following test case seems buggy:
test/Verifier/2010-08-07-PointerIntrinsic.ll

It's a testcase for PR7316 (https://llvm.org/bugs/show_bug.cgi?id=7316) It supposed to check that we reject memcpy with vector pointer arguments. Now we don't reject such memcpy and the test case would fail if it wasn't buggy. It uses wrong signature for memcpy (the last isVolatile argument is missing), so it's rejected by the verifier and doesn't fail.

What is the intended behavior now? Do we support vector pointers as an argument for memcpy and the test should be modified to accept it? Or the bug has slipped through and we shouldn't allow such constructions?

Artur