diff options
author | Jim Blandy <jimb@codesourcery.com> | 2004-08-04 17:50:55 +0000 |
---|---|---|
committer | Jim Blandy <jimb@codesourcery.com> | 2004-08-04 17:50:55 +0000 |
commit | 4f37b9d7f47a83325d041b6bfda134a922b14b0d (patch) | |
tree | d9d7042085a00410866a25780988d9855ced62cf /gdb/regcache.c | |
parent | 0c39d4d15893d8ff59bcf5c62d30b57e8ad9edaf (diff) | |
download | gdb-4f37b9d7f47a83325d041b6bfda134a922b14b0d.tar.gz |
* regcache.c (regcache_raw_read): Assert that, after calling
target_fetch_registers, the register we're reading is cached.
Diffstat (limited to 'gdb/regcache.c')
-rw-r--r-- | gdb/regcache.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gdb/regcache.c b/gdb/regcache.c index b45740d7e13..411392c41f2 100644 --- a/gdb/regcache.c +++ b/gdb/regcache.c @@ -614,6 +614,7 @@ regcache_raw_read (struct regcache *regcache, int regnum, void *buf) } if (!register_cached (regnum)) target_fetch_registers (regnum); + gdb_assert (register_cached (regnum)); } /* Copy the value directly into the register cache. */ memcpy (buf, register_buffer (regcache, regnum), |