|
From: <sv...@va...> - 2016-07-19 05:33:00
|
Author: sewardj
Date: Tue Jul 19 06:32:50 2016
New Revision: 3226
Log:
dis_pc_relative, case 0x002: remove a path that cannot be taken. That
stops gcc -Og complaining. It complains because at that relatively
low level of optimisation, its flow analysis is apparently too weak to
see that the removed path cannot be taken and so it complains
(wrongly) about a possibly uninitialised use of |result|. No
functional change.
Modified:
trunk/priv/guest_ppc_toIR.c
Modified: trunk/priv/guest_ppc_toIR.c
==============================================================================
--- trunk/priv/guest_ppc_toIR.c (original)
+++ trunk/priv/guest_ppc_toIR.c Tue Jul 19 06:32:50 2016
@@ -7603,13 +7603,11 @@
if ( ty == Ity_I32 ) {
result = binop( Iop_Add32, nia, mkU32( D << 16 ) );
-
- } else if ( ty == Ity_I64 ) {
- result = binop( Iop_Add64, nia, mkU64( D << 16 ) );
-
} else {
- vex_printf("dis_pc_relative(unsupported type)\n");
+ vassert( ty == Ity_I64 );
+ result = binop( Iop_Add64, nia, mkU64( D << 16 ) );
}
+
putIReg( rT_addr, result);
}
break;
|