mirrors/emacs
1
Fork 0
mirror of git://git.sv.gnu.org/emacs.git synced 2026-03-26 08:41:47 -07:00
Code Issues Projects Releases Wiki Activity

Simpler casting, and more checking.

Browse source 
Copied from Perforce
 Change: 185505
 ServerID: perforce.ravenbrook.com
This commit is contained in:
Gareth Rees 2014-04-14 12:07:14 +01:00
parent 339cc8e364
commit da2a61ae24
1 changed files with 9 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

11
mps/code/prmci6li.c
View file

@ -33,12 +33,19 @@ SRCID(prmci6li, "$Id$");
MRef Prmci6AddressHoldingReg(MutatorFaultContext mfc, unsigned int regnum)
{
Word *gregs;
MRef gregs;
AVER(mfc != NULL);
AVER(NONNEGATIVE(regnum));
AVER(regnum <= 15);
AVER(mfc->ucontext != NULL);
gregs = (Word *)&mfc->ucontext->uc_mcontext.gregs;
/* TODO: The current arrangement of the fix operation (taking a Ref *)
forces us to pun these registers (actually `int` on LII6GC). We can
suppress the warning by casting through `void *` and this might make
it safe, but does it really? RB 2012-09-10 */
AVER(sizeof(void *) == sizeof(*mfc->ucontext->uc_mcontext.gregs));
gregs = (void *)mfc->ucontext->uc_mcontext.gregs;
/* .assume.regref */
/* The register numbers (REG_RAX etc.) are defined in <ucontext.h>