From 44c859e5ffd95498b6e0dc504a9fc54cef86aae8 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bschommer@users.noreply.github.com>
Date: Fri, 17 Aug 2018 13:57:00 +0200
Subject: Earlier check for invalid asm outputs. (#130)

Since a non modifiable lvalue is an invalid asm output it should
be checked earlier, otherwise this leads to a retyping error
later.
Bug 24285
---
 cparser/ExtendedAsm.ml | 2 --
 1 file changed, 2 deletions(-)

(limited to 'cparser/ExtendedAsm.ml')

diff --git a/cparser/ExtendedAsm.ml b/cparser/ExtendedAsm.ml
index 6cd95aec..8b694ac4 100644
--- a/cparser/ExtendedAsm.ml
+++ b/cparser/ExtendedAsm.ml
@@ -126,8 +126,6 @@ let transf_outputs loc env = function
   | [] ->
       (None, [], StringMap.empty, 0, 0)
   | [(lbl, cstr, e)] ->
-      if not (is_modifiable_lvalue env e) then
-        error loc "asm output is not a modifiable l-value";
       let valid = Str.string_match re_valid_output cstr 0 in
       if valid && String.contains cstr 'r' then
         if is_reg_pair env e.etyp then
-- 
cgit