File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -62,7 +62,7 @@ public static void main(String[] args) {
6262 boolean flag_critical_all = false ;
6363
6464 boolean flag_nofreestring = false ;
65- boolean flag_nocopyback = false ;
65+ boolean flag_nocopyback = flag_critical_all ;
6666 boolean flag_critical = flag_critical_all ;
6767
6868 try {
@@ -121,10 +121,12 @@ public static void main(String[] args) {
121121 continue ;
122122 }
123123 if (ln .equals ("@Critical" )) {
124+ flag_nocopyback = true ;
124125 flag_critical = true ;
125126 continue ;
126127 }
127128 if (ln .equals ("@CriticalAll" )) {
129+ flag_nocopyback = true ;
128130 flag_critical = true ;
129131 flag_critical_all = true ;
130132 continue ;
@@ -317,7 +319,7 @@ public static void main(String[] args) {
317319 ctor .append (ctor2 );
318320 }
319321 flag_nofreestring = false ;
320- flag_nocopyback = false ;
322+ flag_nocopyback = flag_critical_all ;
321323 flag_critical = flag_critical_all ;
322324 }
323325 ctor .append (" return true;\n " );
You can’t perform that action at this time.
0 commit comments