*** ../bash-4.4-patched/parse.y	2016-09-11 11:31:46.000000000 -0400
--- parse.y	2017-03-01 16:04:15.574664915 -0500
***************
*** 4217,4220 ****
--- 4217,4221 ----
    int orig_ind, nc, sflags, orig_eof_token;
    char *ret, *s, *ep, *ostring;
+   STRING_SAVER *saved_pushed_strings;
  
    /*yydebug = 1;*/
***************
*** 4229,4232 ****
--- 4230,4235 ----
    save_input_line_state (&ls);
    orig_eof_token = shell_eof_token;
+   saved_pushed_strings = pushed_string_list;	/* separate parsing context */
+   pushed_string_list = (STRING_SAVER *)NULL;
  
    /*(*/
***************
*** 4242,4245 ****
--- 4245,4250 ----
    restore_input_line_state (&ls);
  
+   pushed_string_list = saved_pushed_strings;
+ 
    token_to_read = 0;