Print this page 
11506 smatch resync
@@ -128,10 +128,11 @@
 
 void register_returns_early(int id)
 {
         RETURN_ID = id;
 
+        set_dynamic_states(RETURN_ID);
         add_split_return_callback(match_return);
 }
 
 void register_returns(int id)
 {