cuberite/polarssl
1
0
Fork 0
mirror of https://github.com/cuberite/polarssl.git synced 2025-11-03 20:22:59 -05:00
Code Issues Packages Projects Releases Wiki Activity

ECP: Use explicit state assignments

Browse Source 
Incrementing the state is error-prone as we can end up doing it too many times
(loops) or not enough (skipped branches), or just make programming mistakes
(eg. the state was incremented twice at the end, so it ended up with a value
not in the enum...)

This is the first step of the rework, the next one will rationalize where the
state assignments are done.
This commit is contained in:
Manuel Pégourié-Gonnard 2017-08-24 10:25:06 +02:00
parent db4a8eb992
commit c9efa00871
1 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
library/ecp.c
View File

@ -1563,7 +1563,7 @@ static int ecp_precompute_comb( const mbedtls_ecp_group *grp,
if( rs_ctx != NULL && rs_ctx->rsm != NULL ) if( rs_ctx != NULL && rs_ctx->rsm != NULL )
{ {
rs_ctx->rsm->i = 0; rs_ctx->rsm->i = 0;
rs_ctx->rsm->state++; rs_ctx->rsm->state = ecp_rsm_pre_norm_dbl;
} }
#endif #endif
@ -1585,7 +1585,7 @@ norm_dbl:
#if defined(MBEDTLS_ECP_RESTARTABLE) #if defined(MBEDTLS_ECP_RESTARTABLE)
if( rs_ctx != NULL && rs_ctx->rsm != NULL ) if( rs_ctx != NULL && rs_ctx->rsm != NULL )
rs_ctx->rsm->state++; rs_ctx->rsm->state = ecp_rsm_pre_add;
#endif #endif
/* /*
@ -1607,7 +1607,7 @@ add:
#if defined(MBEDTLS_ECP_RESTARTABLE) #if defined(MBEDTLS_ECP_RESTARTABLE)
if( rs_ctx != NULL && rs_ctx->rsm != NULL ) if( rs_ctx != NULL && rs_ctx->rsm != NULL )
rs_ctx->rsm->state++; rs_ctx->rsm->state = ecp_rsm_pre_norm_add;
#endif #endif
/* /*
@ -1628,7 +1628,7 @@ norm_add:
#if defined(MBEDTLS_ECP_RESTARTABLE) #if defined(MBEDTLS_ECP_RESTARTABLE)
if( rs_ctx != NULL && rs_ctx->rsm != NULL ) if( rs_ctx != NULL && rs_ctx->rsm != NULL )
rs_ctx->rsm->state++; rs_ctx->rsm->state = ecp_rsm_T_done;
#endif #endif
cleanup: cleanup:
@ -1730,7 +1730,7 @@ cleanup:
{ {
if( ret == 0 ) if( ret == 0 )
{ {
rs_ctx->rsm->state++; rs_ctx->rsm->state = ecp_rsm_final_norm;
rs_ctx->rsm->i = 0; rs_ctx->rsm->i = 0;
} }
else if( ret == MBEDTLS_ERR_ECP_IN_PROGRESS ) else if( ret == MBEDTLS_ERR_ECP_IN_PROGRESS )
@ -1834,7 +1834,7 @@ static int ecp_mul_comb_after_precomp( const mbedtls_ecp_group *grp,
#if defined(MBEDTLS_ECP_RESTARTABLE) #if defined(MBEDTLS_ECP_RESTARTABLE)
if( rs_ctx != NULL && rs_ctx->rsm != NULL ) if( rs_ctx != NULL && rs_ctx->rsm != NULL )
rs_ctx->rsm->state++; rs_ctx->rsm->state = ecp_rsm_final_norm;
#endif #endif
} }
@ -2420,14 +2420,14 @@ int mbedtls_ecp_muladd_restartable(
MBEDTLS_MPI_CHK( mbedtls_ecp_mul_shortcuts( grp, pmP, m, P, rs_ctx ) ); MBEDTLS_MPI_CHK( mbedtls_ecp_mul_shortcuts( grp, pmP, m, P, rs_ctx ) );
#if defined(MBEDTLS_ECP_RESTARTABLE) #if defined(MBEDTLS_ECP_RESTARTABLE)
if( rs_ctx != NULL && rs_ctx->ma != NULL ) if( rs_ctx != NULL && rs_ctx->ma != NULL )
rs_ctx->ma->state++; rs_ctx->ma->state = ecp_rsma_mul2;
mul2: mul2:
#endif #endif
MBEDTLS_MPI_CHK( mbedtls_ecp_mul_shortcuts( grp, pR, n, Q, rs_ctx ) ); MBEDTLS_MPI_CHK( mbedtls_ecp_mul_shortcuts( grp, pR, n, Q, rs_ctx ) );
#if defined(MBEDTLS_ECP_RESTARTABLE) #if defined(MBEDTLS_ECP_RESTARTABLE)
if( rs_ctx != NULL && rs_ctx->ma != NULL ) if( rs_ctx != NULL && rs_ctx->ma != NULL )
rs_ctx->ma->state++; rs_ctx->ma->state = ecp_rsma_add;
add: add:
#endif #endif
@ -2435,7 +2435,7 @@ add:
MBEDTLS_MPI_CHK( ecp_add_mixed( grp, pR, pmP, pR ) ); MBEDTLS_MPI_CHK( ecp_add_mixed( grp, pR, pmP, pR ) );
#if defined(MBEDTLS_ECP_RESTARTABLE) #if defined(MBEDTLS_ECP_RESTARTABLE)
if( rs_ctx != NULL && rs_ctx->ma != NULL ) if( rs_ctx != NULL && rs_ctx->ma != NULL )
rs_ctx->ma->state++; rs_ctx->ma->state = ecp_rsma_norm;
norm: norm:
#endif #endif