diff options
author | Rodrigo Kumpera <kumpera@gmail.com> | 2010-04-09 19:26:23 +0400 |
---|---|---|
committer | Rodrigo Kumpera <kumpera@gmail.com> | 2010-04-09 19:26:23 +0400 |
commit | 29a9b9cdba5ce0866407a34af02edfb0e4147f87 (patch) | |
tree | edf5180c7c5600076f7e65526bf136987fcddcb2 | |
parent | 7508b8212a5d1839f882be2ab3450aa0444cf4ff (diff) |
2010-04-09 Rodrigo Kumpera <rkumpera@novell.com>
* verify.c (mono_method_verify): A switch op don't empty
the stack for the next one. Fixes a bug when running fsi
under --verify-all.
svn path=/branches/mono-2-6/mono/; revision=155155
-rw-r--r-- | mono/metadata/ChangeLog | 6 | ||||
-rw-r--r-- | mono/metadata/verify.c | 1 |
2 files changed, 6 insertions, 1 deletions
diff --git a/mono/metadata/ChangeLog b/mono/metadata/ChangeLog index a86bf46df9a..faf32009d8e 100644 --- a/mono/metadata/ChangeLog +++ b/mono/metadata/ChangeLog @@ -1,5 +1,11 @@ 2010-04-09 Rodrigo Kumpera <rkumpera@novell.com> + * verify.c (mono_method_verify): A switch op don't empty + the stack for the next one. Fixes a bug when running fsi + under --verify-all. + +2010-04-09 Rodrigo Kumpera <rkumpera@novell.com> + * metadata-verify.c (is_valid_standalonesig_blob): Accept fields as valid standalone sig too. F# does generate them. diff --git a/mono/metadata/verify.c b/mono/metadata/verify.c index d441c142289..d1ead191f26 100644 --- a/mono/metadata/verify.c +++ b/mono/metadata/verify.c @@ -5588,7 +5588,6 @@ mono_method_verify (MonoMethod *method, int level) code_bounds_check (sizeof (guint32) * entries); do_switch (&ctx, entries, ip); - start = 1; ip += sizeof (guint32) * entries; break; } |