489 static int ffestd_block_level_ = 0;	/* Block level for reachableness. */  variable
1338   --ffestd_block_level_;  in ffestd_do()
1339   assert (ffestd_block_level_ >= 0);  in ffestd_do()
1385   --ffestd_block_level_;  in ffestd_end_R807()
1386   assert (ffestd_block_level_ >= 0);  in ffestd_end_R807()
2539   --ffestd_block_level_;  in ffestd_R745()
2540   assert (ffestd_block_level_ >= 0);  in ffestd_R745()
2563   ++ffestd_block_level_;  in ffestd_R803()
2564   assert (ffestd_block_level_ > 0);  in ffestd_R803()
2612   --ffestd_block_level_;  in ffestd_R806()
2613   assert (ffestd_block_level_ >= 0);  in ffestd_R806()
2636   ++ffestd_block_level_;  in ffestd_R807()
2637   assert (ffestd_block_level_ > 0);  in ffestd_R807()
2662   ++ffestd_block_level_;  in ffestd_R809()
2663   assert (ffestd_block_level_ > 0);  in ffestd_R809()
2704   --ffestd_block_level_;  in ffestd_R811()
2705   assert (ffestd_block_level_ >= 0);  in ffestd_R811()
2740   ++ffestd_block_level_;  in ffestd_R819A()
2741   assert (ffestd_block_level_ > 0);  in ffestd_R819A()
2767   ++ffestd_block_level_;  in ffestd_R819B()
2768   assert (ffestd_block_level_ > 0);  in ffestd_R819B()
2851   if (ffestd_block_level_ == 0)  in ffestd_R836()
2925   if (ffestd_block_level_ == 0)  in ffestd_R839()
2952   if (ffestd_block_level_ == 0)  in ffestd_R840()
3003   if (ffestd_block_level_ == 0)  in ffestd_R842()
4050   assert (ffestd_block_level_ == 0);  in ffestd_R1102()
4069   assert (ffestd_block_level_ == 0);  in ffestd_R1103()
4092   assert (ffestd_block_level_ == 0);  in ffestd_R1105()
4111   assert (ffestd_block_level_ == 0);  in ffestd_R1106()
4200   assert (ffestd_block_level_ == 0);  in ffestd_R1111()
4218   assert (ffestd_block_level_ == 0);  in ffestd_R1112()
4543   assert (ffestd_block_level_ == 0);  in ffestd_R1219()
4561   assert (ffestd_block_level_ == 0);  in ffestd_R1221()
4588   assert (ffestd_block_level_ == 0);  in ffestd_R1223()
4606   assert (ffestd_block_level_ == 0);  in ffestd_R1225()
4666   if (ffestd_block_level_ == 0)  in ffestd_R1227()
4678   assert (ffestd_block_level_ == 0);  in ffestd_R1228()