From fff9371e9f5f541855e0ed611310aca19d8d1cb5 Mon Sep 17 00:00:00 2001 From: aph Date: Wed, 13 Jan 1999 06:13:37 +0000 Subject: [PATCH] 1999-01-13 Andrew Haley * expr.c (generate_name): Name prefix changed to avoid clashes with assembler temp labels. * parse.y (patch_synchronized_statement): Set TREE_SIDE_EFFECTS on MODIFY_EXPR. Without this, code for the assignement may not be generated at all and the synchronized statement will read an uninitialized variable. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@24649 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/java/ChangeLog | 10 ++++++++++ gcc/java/expr.c | 2 +- gcc/java/parse.c | 14 +++++++------- gcc/java/parse.y | 8 ++++---- 4 files changed, 22 insertions(+), 12 deletions(-) diff --git a/gcc/java/ChangeLog b/gcc/java/ChangeLog index a175442751b..d3062f8db00 100644 --- a/gcc/java/ChangeLog +++ b/gcc/java/ChangeLog @@ -1,3 +1,13 @@ +1999-01-13 Andrew Haley + + * expr.c (generate_name): Name prefix changed to avoid clashes + with assembler temp labels. + + * parse.y (patch_synchronized_statement): Set TREE_SIDE_EFFECTS on + MODIFY_EXPR. Without this, code for the assignement may not be + generated at all and the synchronized statement will read an + uninitialized variable. + Wed Jan 13 01:24:54 1999 Alexandre Petit-Bianco * class.c (maybe_layout_super_class): Fixed returned value. diff --git a/gcc/java/expr.c b/gcc/java/expr.c index 136415ba378..623eb909334 100644 --- a/gcc/java/expr.c +++ b/gcc/java/expr.c @@ -1186,7 +1186,7 @@ generate_name () { static int l_number = 0; char buff [20]; - sprintf (buff, "$L%d", l_number++); + sprintf (buff, "$LJv%d", l_number++); return get_identifier (buff); } diff --git a/gcc/java/parse.c b/gcc/java/parse.c index a357e8d8ffc..c34aa135d8e 100644 --- a/gcc/java/parse.c +++ b/gcc/java/parse.c @@ -2250,7 +2250,7 @@ static const short yycheck[] = { 3, #define YYPURE 1 /* -*-C-*- Note some compilers choke on comments on `#line' lines. */ -#line 3 "/usr/cygnus/gnupro-98r1/share/bison.simple" +#line 3 "/usr/local/share/bison.simple" /* Skeleton output parser for bison, Copyright (C) 1984, 1989, 1990 Free Software Foundation, Inc. @@ -2443,7 +2443,7 @@ __yy_memcpy (char *to, char *from, int count) #endif #endif -#line 196 "/usr/cygnus/gnupro-98r1/share/bison.simple" +#line 196 "/usr/local/share/bison.simple" /* The user can define YYPARSE_PARAM as the name of an argument to be passed into yyparse. The argument should have type void *. @@ -4701,7 +4701,7 @@ case 492: break;} } /* the action file gets copied in in place of this dollarsign */ -#line 498 "/usr/cygnus/gnupro-98r1/share/bison.simple" +#line 498 "/usr/local/share/bison.simple" yyvsp -= yylen; yyssp -= yylen; @@ -13461,7 +13461,7 @@ patch_synchronized_statement (node, wfl_op1) tree expr = java_complete_tree (TREE_OPERAND (node, 0)); tree block = TREE_OPERAND (node, 1); - tree enter, exit, finally, expr_decl; + tree enter, exit, finally, expr_decl, assignment; if (expr == error_mark_node) { @@ -13501,13 +13501,13 @@ patch_synchronized_statement (node, wfl_op1) BUILD_MONITOR_EXIT (exit, expr_decl); CAN_COMPLETE_NORMALLY (enter) = 1; CAN_COMPLETE_NORMALLY (exit) = 1; + assignment = build (MODIFY_EXPR, NULL_TREE, expr_decl, expr); + TREE_SIDE_EFFECTS (assignment) = 1; node = build1 (CLEANUP_POINT_EXPR, NULL_TREE, build (COMPOUND_EXPR, NULL_TREE, build (WITH_CLEANUP_EXPR, NULL_TREE, build (COMPOUND_EXPR, NULL_TREE, - build (MODIFY_EXPR, NULL_TREE, - expr_decl, expr), - enter), + assignment, enter), NULL_TREE, exit), block)); node = build_expr_block (node, expr_decl); diff --git a/gcc/java/parse.y b/gcc/java/parse.y index 03d04eecfde..03840042f2f 100644 --- a/gcc/java/parse.y +++ b/gcc/java/parse.y @@ -10823,7 +10823,7 @@ patch_synchronized_statement (node, wfl_op1) tree expr = java_complete_tree (TREE_OPERAND (node, 0)); tree block = TREE_OPERAND (node, 1); - tree enter, exit, finally, expr_decl; + tree enter, exit, finally, expr_decl, assignment; if (expr == error_mark_node) { @@ -10863,13 +10863,13 @@ patch_synchronized_statement (node, wfl_op1) BUILD_MONITOR_EXIT (exit, expr_decl); CAN_COMPLETE_NORMALLY (enter) = 1; CAN_COMPLETE_NORMALLY (exit) = 1; + assignment = build (MODIFY_EXPR, NULL_TREE, expr_decl, expr); + TREE_SIDE_EFFECTS (assignment) = 1; node = build1 (CLEANUP_POINT_EXPR, NULL_TREE, build (COMPOUND_EXPR, NULL_TREE, build (WITH_CLEANUP_EXPR, NULL_TREE, build (COMPOUND_EXPR, NULL_TREE, - build (MODIFY_EXPR, NULL_TREE, - expr_decl, expr), - enter), + assignment, enter), NULL_TREE, exit), block)); node = build_expr_block (node, expr_decl); -- 2.11.4.GIT