diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2018-12-14 10:53:41 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2018-12-14 10:53:41 +0000 |
| commit | fcdc7fd55df451a405f040733c29b8fe3d20cff1 (patch) | |
| tree | 4df96b3c4eb8310d8d483978186ec49bb6cb75de /gcc/ada/gcc-interface/decl.c | |
| parent | 544a4843e8873ce0dc08b2e1cde8978b15d23628 (diff) | |
| download | gcc-fcdc7fd55df451a405f040733c29b8fe3d20cff1.zip gcc-fcdc7fd55df451a405f040733c29b8fe3d20cff1.tar.gz gcc-fcdc7fd55df451a405f040733c29b8fe3d20cff1.tar.bz2 | |
dwarf2out.c (analyze_discr_in_predicate): Simplify.
* dwarf2out.c (analyze_discr_in_predicate): Simplify.
(analyze_variants_discr): Deal with naked boolean discriminants.
ada/
* gcc-interface/decl.c (choices_to_gnu): Directly use a naked boolean
discriminant if the value is the boolean true.
From-SVN: r267130
Diffstat (limited to 'gcc/ada/gcc-interface/decl.c')
| -rw-r--r-- | gcc/ada/gcc-interface/decl.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/ada/gcc-interface/decl.c b/gcc/ada/gcc-interface/decl.c index b2f9229..0ad06f1 100644 --- a/gcc/ada/gcc-interface/decl.c +++ b/gcc/ada/gcc-interface/decl.c @@ -6848,6 +6848,9 @@ choices_to_gnu (tree gnu_operand, Node_Id gnat_choices) build_binary_op (LE_EXPR, boolean_type_node, gnu_operand, gnu_high, true), true); + else if (gnu_low == boolean_true_node + && TREE_TYPE (gnu_operand) == boolean_type_node) + gnu_test = gnu_operand; else if (gnu_low) gnu_test = build_binary_op (EQ_EXPR, boolean_type_node, gnu_operand, gnu_low, |