Fix build break with high warning level (#3971)
Fix build break with high warning level (#3971)


shrah/corert,yizhang82/corert,gregkalapos/corert,yizhang82/corert,gregkalapos/corert,gregkalapos/corert,yizhang82/corert,shrah/corert,shrah/corert,shrah/corert,yizhang82/corert,gregkalapos/corert