diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-11-08 15:56:41 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-11-08 15:56:41 +0100 |
| commit | 871ef2f625914e8debf3c28432d9d26fcce136fa (patch) | |
| tree | 9043c1dd94fe3c6727b38c28b044bd4dd129ec76 | |
| parent | 363a47b6b77f69d8f2a074b395b5183197d61c0c (diff) | |
| parent | 9baff1c0652a4234dd1e41a5d63eb3ff707dfc66 (diff) | |
| download | compcert-871ef2f625914e8debf3c28432d9d26fcce136fa.tar.gz compcert-871ef2f625914e8debf3c28432d9d26fcce136fa.zip | |
Merge branch 'master' of github.com:AbsInt/CompCert
| -rw-r--r-- | x86/Machregs.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/x86/Machregs.v b/x86/Machregs.v index 741081a6..04be0cd6 100644 --- a/x86/Machregs.v +++ b/x86/Machregs.v @@ -196,7 +196,7 @@ Definition destroyed_by_setstack (ty: typ): list mreg := end. Definition destroyed_at_indirect_call: list mreg := - nil. + AX :: nil. Definition temp_for_parent_frame: mreg := AX. |