11506 smatch resync

@@ -14,10 +14,11 @@
  * You should have received a copy of the GNU General Public License
  * along with this program; if not, see http://www.gnu.org/copyleft/gpl.txt
  */
 
 #include "smatch.h"
+#include "smatch_slist.h"
 
 static int my_id;
 static int returned;
 
 static void match_return(struct expression *ret_value)

@@ -30,10 +31,12 @@
 
 static void match_func_end(struct symbol *sym)
 {
         if (__inline_fn)
                 return;
+        if (out_of_memory() || taking_too_long())
+                return;
         if (!is_reachable() && !returned)
                 sm_info("info: add to no_return_funcs");
         returned = 0;
 }