diff --git a/clang/lib/Basic/TargetInfo.cpp b/clang/lib/Basic/TargetInfo.cpp index 15b8c83d1b36..535c87ec1158 100644 --- a/clang/lib/Basic/TargetInfo.cpp +++ b/clang/lib/Basic/TargetInfo.cpp @@ -583,6 +583,10 @@ bool TargetInfo::validateInputConstraint(ConstraintInfo *OutputConstraints, if (Info.hasTiedOperand() && Info.getTiedOperand() != Index) return false; + // A number must refer to an output only operand. + if (OutputConstraints[Index].isReadWrite()) + return false; + Info.setTiedOperand(Index, OutputConstraints[Index]); break; } diff --git a/clang/test/Sema/asm.c b/clang/test/Sema/asm.c index 10d845e3d0bb..f386f520be4d 100644 --- a/clang/test/Sema/asm.c +++ b/clang/test/Sema/asm.c @@ -190,3 +190,10 @@ void fn4() { : "=r"(l) : "#m"(l)); // expected-error {{invalid input constraint '#m' in asm}} } + +void fn5() { + int l; + __asm__("" + : [g] "+r"(l) + : "[g]"(l)); // expected-error {{invalid input constraint '[g]' in asm}} +}