Merge branch 'gawk-4.0-stable'

1 files changed, 14 insertions, 0 deletions

diff --git a/profile.c b/profile.c
index cba8be9e..01d1e42f 100644
--- a/profile.c
+++ b/profile.c
@@ -507,6 +507,20 @@ cleanup:
 		case Op_after_endfile:
 			break;
 
+		case Op_sub_builtin:
+		{
+			const char *fname = "sub";
+			if (pc->sub_flags & GSUB)
+				fname = "gsub";
+			else if (pc->sub_flags & GENSUB)
+				fname = "gensub";
+			tmp = pp_list(pc->expr_count, "()", ", ");
+			str = pp_concat(fname, tmp, "");
+			efree(tmp);
+			pp_push(Op_sub_builtin, str, CAN_FREE);
+		}
+			break;
+
 		case Op_builtin:
 		{
 			static char *ext_func = "extension_function()";