[Cannotate] ROR & ABS inserted before variable initialization
// tif_lzma.c// warning: variable 'ret' is uninitialized when used here [-Wuninitialized]// +++++++++++++++++++++ Before +++++++++++++++++++++ //staticintLZMAPostEncode(TIFF*tif){//...lzma_retret;sp->stream.avail_in=0;// ROR Label 60 if((ret==LZMA_STREAM_END)!=(ret!=LZMA_STREAM_END)){asmvolatile("":::"memory");}do{ret=lzma_code(&sp->stream,LZMA_FINISH);switch(ret){//...}//...}//...}
// Similarly in tif_zip.cstaticintZIPPostEncode(TIFF*tif){intstate;// ABS Label 78if(state<0){asmvolatile("":::"memory");}// ROR Label 79if((state==1)!=(state!=1)){asmvolatile("":::"memory");}do{state=deflate(&sp->stream,Z_FINISH);switch(state){}}}