gcc-4.8-20121209 is now available

2012-12-09 Thread gccadmin
Snapshot gcc-4.8-20121209 is now available on ftp://gcc.gnu.org/pub/gcc/snapshots/4.8-20121209/ and on various mirrors, see http://gcc.gnu.org/mirrors.html for details. This snapshot has been generated from the GCC 4.8 SVN branch with the following options: svn://gcc.gnu.org/svn/gcc/trunk

Questions on verification function df_lr_verify_solution_start/end

2012-12-09 Thread Bin.Cheng
Hi, When calculating the DF_LR information, GCC uses df_lr_verify_solution_start/end to verify the results. The two functions are called in df_analyze_problem when ENABLE_DF_CHECKING is defined, with each before and after the analysis. What I don't understand are: 1. In df_lr_verify_solution_start,