diff options
| -rw-r--r-- | lib/Basic/TargetInfo.cpp | 4 | ||||
| -rw-r--r-- | test/Sema/asm.c | 6 |
2 files changed, 10 insertions, 0 deletions
diff --git a/lib/Basic/TargetInfo.cpp b/lib/Basic/TargetInfo.cpp index 6ef306d27e..947cbfc3f6 100644 --- a/lib/Basic/TargetInfo.cpp +++ b/lib/Basic/TargetInfo.cpp @@ -350,6 +350,10 @@ bool TargetInfo::validateInputConstraint(ConstraintInfo *OutputConstraints, if (i >= NumOutputs) return false; + // A number must refer to an output only operand. + if (OutputConstraints[i].isReadWrite()) + return false; + // The constraint should have the same info as the respective // output constraint. Info.setTiedOperand(i, OutputConstraints[i]); diff --git a/test/Sema/asm.c b/test/Sema/asm.c index 52611faf3d..73d081ddd3 100644 --- a/test/Sema/asm.c +++ b/test/Sema/asm.c @@ -79,3 +79,9 @@ int test7(unsigned long long b) { // <rdar://problem/7574870> asm volatile (""); // expected-warning {{meaningless 'volatile' on asm outside function}} + +// PR3904 +int test8(int i) { + // A number in an input constraint can't point to a read-write constraint. + asm ("" : "+r" (i), "=r"(i) : "0" (i)); // expected-error{{invalid input constraint '0' in asm}} +} |