gcc/testsuite/gnat.dg · 05a76b51fb58e10f74e5f4fe613dc5b40fae44d8 · lvzhengyang / riscv-gcc-1

utils2.c (build_binary_op): New case. · d2143736

	* gcc-interface/utils2.c (build_binary_op) <PLUS_EXPR, MINUS_EXPR>:
	New case.  Convert BOOLEAN_TYPE operation to the default integer type.

From-SVN: r138552

committed Aug 02, 2008

d2143736

Name	Last commit	Last update
..
specs		Loading commit data...
style		Loading commit data...
abstract1.adb		Loading commit data...
abstract1.ads		Loading commit data...
abstract_with_anonymous_result.adb		Loading commit data...
access1.adb		Loading commit data...
access2.adb		Loading commit data...
access3.adb		Loading commit data...
access3.ads		Loading commit data...
access4.adb		Loading commit data...
access_discr.adb		Loading commit data...
access_func.adb		Loading commit data...
access_test.adb		Loading commit data...
addr1.adb		Loading commit data...
addr1.ads		Loading commit data...
addr2.adb		Loading commit data...
addr2_p.adb		Loading commit data...
addr2_p.ads		Loading commit data...
addr3.adb		Loading commit data...
addr_slice.adb		Loading commit data...
address_conversion.adb		Loading commit data...
address_null_init.ads		Loading commit data...
aggr1.adb		Loading commit data...
aggr2.adb		Loading commit data...
aggr3.adb		Loading commit data...
aggr4.adb		Loading commit data...
aggr7.adb		Loading commit data...
aggr8.adb		Loading commit data...
aggr9.adb		Loading commit data...
aggr9.ads		Loading commit data...
aggr9_pkg.ads		Loading commit data...
aliased1.adb		Loading commit data...
aliased_prefix_accessibility.adb		Loading commit data...
aliasing1.adb		Loading commit data...
aliasing1.ads		Loading commit data...
aliasing2.adb		Loading commit data...
aliasing2.ads		Loading commit data...
align_check.adb		Loading commit data...
aligned_vla.adb		Loading commit data...
alignment1.adb		Loading commit data...
alignment2.adb		Loading commit data...
alignment3.adb		Loading commit data...
alignment4.adb		Loading commit data...
alignment5.adb		Loading commit data...
alignment6.adb		Loading commit data...
allocator_maxalign1.adb		Loading commit data...
allocator_maxalign2.adb		Loading commit data...
allocator_maxalign2.ads		Loading commit data...
ancestor_type.adb		Loading commit data...
ancestor_type.ads		Loading commit data...
anon1.ads		Loading commit data...
anon2.adb		Loading commit data...
array1.adb		Loading commit data...
array1.ads		Loading commit data...
array2.ads		Loading commit data...
array3.adb		Loading commit data...
array4.adb		Loading commit data...
assert.ads		Loading commit data...
assert1.adb		Loading commit data...
assign_from_packed.adb		Loading commit data...
assign_from_packed_pixels.ads		Loading commit data...
asynch.adb		Loading commit data...
asynch.ads		Loading commit data...
bad_array.adb		Loading commit data...
biased_uc.adb		Loading commit data...
bip_prim_func.adb		Loading commit data...
bip_prim_func.ads		Loading commit data...
bit_packed_array.adb		Loading commit data...
bit_packed_array.ads		Loading commit data...
bit_packed_array2.adb		Loading commit data...
bit_packed_array3.adb		Loading commit data...
blkextract_from_reg.adb		Loading commit data...
bltins.adb		Loading commit data...
boolean_expr1.adb		Loading commit data...
boolean_expr1.ads		Loading commit data...
boolean_expr2.adb		Loading commit data...
boolean_subtype.adb		Loading commit data...
bug_elaboration_code.adb		Loading commit data...
bug_elaboration_code.ads		Loading commit data...
c_words.adb		Loading commit data...
c_words.ads		Loading commit data...
capture_value.adb		Loading commit data...
case_null.adb		Loading commit data...
case_null.ads		Loading commit data...
case_optimization1.adb		Loading commit data...
case_optimization1.ads		Loading commit data...
case_optimization_pkg1.ads		Loading commit data...
check1.adb		Loading commit data...
check1.ads		Loading commit data...
check_displace_generation.adb		Loading commit data...
check_elaboration_code.adb		Loading commit data...
class_wide.adb		Loading commit data...
compose.adb		Loading commit data...
concat_length.adb		Loading commit data...
const1.adb		Loading commit data...
controlled1.ads		Loading commit data...
controlled2.adb		Loading commit data...
controlled2.ads		Loading commit data...
controlled3.ads		Loading commit data...
controlled4.adb		Loading commit data...
controlled4.ads		Loading commit data...
controlled_record.adb		Loading commit data...
controlled_record.ads		Loading commit data...
conv_bug.adb		Loading commit data...
conv_integer.adb		Loading commit data...
conv_real.adb		Loading commit data...
curr_task.adb		Loading commit data...
debug1.ads		Loading commit data...
decl_ctx_def.ads		Loading commit data...
decl_ctx_use.adb		Loading commit data...
decl_ctx_use.ads		Loading commit data...
deep_old.adb		Loading commit data...
deferred_const1.adb		Loading commit data...
deferred_const2.adb		Loading commit data...
deferred_const2_pkg.adb		Loading commit data...
deferred_const2_pkg.ads		Loading commit data...
deferred_const3.adb		Loading commit data...
deferred_const3_pkg.adb		Loading commit data...
deferred_const3_pkg.ads		Loading commit data...
deques.ads		Loading commit data...
deref1.ads		Loading commit data...
deref2.ads		Loading commit data...
deref3.adb		Loading commit data...
derived_aggregate.adb		Loading commit data...
dg.exp		Loading commit data...
discr1.ads		Loading commit data...
discr10.adb		Loading commit data...
discr10.ads		Loading commit data...
discr2.adb		Loading commit data...
discr2.ads		Loading commit data...
discr3.ads		Loading commit data...
discr4.adb		Loading commit data...
discr5.adb		Loading commit data...
discr6.adb		Loading commit data...
discr6_pkg.ads		Loading commit data...
discr7.adb		Loading commit data...
discr8.adb		Loading commit data...
discr8.ads		Loading commit data...
discr8_pkg1.ads		Loading commit data...
discr8_pkg2.ads		Loading commit data...
discr8_pkg3.ads		Loading commit data...
discr9.adb		Loading commit data...
discr9.ads		Loading commit data...
discr_range_check.adb		Loading commit data...
discr_test.adb		Loading commit data...
discr_test2.adb		Loading commit data...
dispatch1.adb		Loading commit data...
dispatch1_p.ads		Loading commit data...
dispatch2.adb		Loading commit data...
dispatch2_p.adb		Loading commit data...
dispatch2_p.ads		Loading commit data...
dynamic_elab1.adb		Loading commit data...
dynamic_elab1.ads		Loading commit data...
dynamic_elab2.adb		Loading commit data...
dynamic_elab2.ads		Loading commit data...
dynamic_elab_pkg.ads		Loading commit data...
elab1.ads		Loading commit data...
elab2.adb		Loading commit data...
elim1.adb		Loading commit data...
elim1.ads		Loading commit data...
elim2.adb		Loading commit data...
empty_vector_length.adb		Loading commit data...
enclosing_record_reference.adb		Loading commit data...
enclosing_record_reference.ads		Loading commit data...
entry_queues.adb		Loading commit data...
env_compile_capacity.adb		Loading commit data...
env_compile_capacity.ads		Loading commit data...
equal1.ads		Loading commit data...
equal_access.adb		Loading commit data...
expect1.adb		Loading commit data...
ext1.ads		Loading commit data...
fatp_sra.adb		Loading commit data...
finalized.adb		Loading commit data...
fixce.adb		Loading commit data...
fixedpnt.adb		Loading commit data...
forward_anon.adb		Loading commit data...
forward_anon.ads		Loading commit data...
forward_vla.adb		Loading commit data...
frame_overflow.adb		Loading commit data...
frunaligned.adb		Loading commit data...
frunaligned1.ads		Loading commit data...
g_tables.adb		Loading commit data...
g_tables.ads		Loading commit data...
gen_disp.adb		Loading commit data...
gen_disp.ads		Loading commit data...
generic_dispatch.adb		Loading commit data...
generic_dispatch_p.adb		Loading commit data...
generic_dispatch_p.ads		Loading commit data...
gnat_malloc.adb		Loading commit data...
gnatg.adb		Loading commit data...
graphic.adb		Loading commit data...
graphic.ads		Loading commit data...
ice_type.adb		Loading commit data...
ice_types.ads		Loading commit data...
iface1.ads		Loading commit data...
iface2.adb		Loading commit data...
iface2.ads		Loading commit data...
ifaces.adb		Loading commit data...
ifaces.ads		Loading commit data...
in_mod_conv.adb		Loading commit data...
in_out_parameter.adb		Loading commit data...
incomplete1.ads		Loading commit data...
incomplete2.adb		Loading commit data...
incomplete2.ads		Loading commit data...
init_scalar1.adb		Loading commit data...
inline_scope.adb		Loading commit data...
inline_scope_p.adb		Loading commit data...
inline_scope_p.ads		Loading commit data...
inline_tagged.adb		Loading commit data...
interface1.adb		Loading commit data...
interface2.adb		Loading commit data...
interface3.adb		Loading commit data...
interface4.adb		Loading commit data...
interface5.adb		Loading commit data...
interface5.ads		Loading commit data...
interface_conv.adb		Loading commit data...
invariant_index.adb		Loading commit data...
invariant_index.ads		Loading commit data...
iprot_test.adb		Loading commit data...
itypes.adb		Loading commit data...
itypes.ads		Loading commit data...
kill_value.adb		Loading commit data...
late_overriding.adb		Loading commit data...
layered_abstraction.adb		Loading commit data...
layered_abstraction.ads		Loading commit data...
layered_abstraction_p.ads		Loading commit data...
layered_instance.adb		Loading commit data...
lhs_view_convert.adb		Loading commit data...
limited_with.adb		Loading commit data...
limited_with.ads		Loading commit data...
loop_address.adb		Loading commit data...
loop_address2.adb		Loading commit data...
loop_bound.adb		Loading commit data...
loop_optimization1.adb		Loading commit data...
loop_optimization1.ads		Loading commit data...
loop_optimization2.adb		Loading commit data...
loop_optimization2.ads		Loading commit data...
loop_optimization3.adb		Loading commit data...
loop_optimization3_pkg.adb		Loading commit data...
loop_optimization3_pkg.ads		Loading commit data...
loop_unchecked_conversion.adb		Loading commit data...
loop_unchecked_conversion.ads		Loading commit data...
machine_code1.adb		Loading commit data...
max_align.adb		Loading commit data...
md5_test.adb		Loading commit data...
missing_acc_check.adb		Loading commit data...
modify_a_constant.adb		Loading commit data...
modular1.adb		Loading commit data...
modular2.adb		Loading commit data...
mutable1.adb		Loading commit data...
my_env_versioned_value_set_g.ads		Loading commit data...
named_test.adb		Loading commit data...
nat1.ads		Loading commit data...
nat1r.adb		Loading commit data...
nested_agg_bitfield_constructor.adb		Loading commit data...
nested_controlled_alloc.adb		Loading commit data...
nested_return_test.adb		Loading commit data...
nested_subtype_byref.adb		Loading commit data...
nested_subtype_byref.ads		Loading commit data...
no_exc_prop.adb		Loading commit data...
no_exc_prop.ads		Loading commit data...
no_final.adb		Loading commit data...
notnot.adb		Loading commit data...
oalign1.ads		Loading commit data...
oalign2.ads		Loading commit data...
object_overflow.adb		Loading commit data...
old_errors.adb		Loading commit data...
old_errors.ads		Loading commit data...
opt1.adb		Loading commit data...
opt1.ads		Loading commit data...
outer_agg_bitfield_constructor.adb		Loading commit data...
overriding_ops.adb		Loading commit data...
overriding_ops.ads		Loading commit data...
overriding_ops_p.ads		Loading commit data...
pack1.ads		Loading commit data...
pack10.adb		Loading commit data...
pack2.adb		Loading commit data...
pack3.adb		Loading commit data...
pack4.adb		Loading commit data...
pack5.adb		Loading commit data...
pack6.adb		Loading commit data...
pack7.adb		Loading commit data...
pack8.adb		Loading commit data...
pack9.adb		Loading commit data...
pack9.ads		Loading commit data...
packed_subtype.adb		Loading commit data...
pak.adb		Loading commit data...
pak.ads		Loading commit data...
parameterlessfunc.adb		Loading commit data...
parent_ltd_with-child_full_view.adb		Loading commit data...
parent_ltd_with-child_full_view.ads		Loading commit data...
parent_ltd_with.ads		Loading commit data...
pointer_array.adb		Loading commit data...
pointer_conversion.adb		Loading commit data...
pointer_protected.adb		Loading commit data...
pointer_protected_p.ads		Loading commit data...
pointer_variable_bounds.adb		Loading commit data...
pointer_variable_bounds.ads		Loading commit data...
pointer_variable_bounds_q.ads		Loading commit data...
prefix1.adb		Loading commit data...
prefix1.ads		Loading commit data...
prefix2.adb		Loading commit data...
prefix2.ads		Loading commit data...
profile_warning.adb		Loading commit data...
profile_warning.ads		Loading commit data...
profile_warning_p.adb		Loading commit data...
profile_warning_p.ads		Loading commit data...
prot1.adb		Loading commit data...
prot_def.adb		Loading commit data...
quote.adb		Loading commit data...
raise_from_pure.adb		Loading commit data...
raise_from_pure.ads		Loading commit data...
range_check.adb		Loading commit data...
range_check2.adb		Loading commit data...
rational_arithmetic.ads		Loading commit data...
ref_type.adb		Loading commit data...
ref_type.ads		Loading commit data...
regpat1.adb		Loading commit data...
release_unc_maxalign.adb		Loading commit data...
remote_type.adb		Loading commit data...
remote_type.ads		Loading commit data...
renaming1.adb		Loading commit data...
renaming1.ads		Loading commit data...
renaming2.adb		Loading commit data...
renaming3.adb		Loading commit data...
renaming4.ads		Loading commit data...
rep_clause1.adb		Loading commit data...
rep_clause2.adb		Loading commit data...
rep_clause2.ads		Loading commit data...
requeue1.adb		Loading commit data...
return1.adb		Loading commit data...
return1.ads		Loading commit data...
rt1.adb		Loading commit data...
rt1.ads		Loading commit data...
scalar_mode_agg_compare.adb		Loading commit data...
scalar_mode_agg_compare_loop.adb		Loading commit data...
self.adb		Loading commit data...
self.ads		Loading commit data...
self1.adb		Loading commit data...
self_aggregate_with_array.adb		Loading commit data...
self_aggregate_with_call.adb		Loading commit data...
self_aggregate_with_pointer.adb		Loading commit data...
self_aggregate_with_zeros.adb		Loading commit data...
set_in_pproc.adb		Loading commit data...
show_deques_priority.adb		Loading commit data...
size_attribute.adb		Loading commit data...
sizetype.adb		Loading commit data...
slice1.adb		Loading commit data...
slice2.adb		Loading commit data...
slice2.ads		Loading commit data...
slice3.adb		Loading commit data...
slice4.adb		Loading commit data...
slice5.adb		Loading commit data...
small_alignment.adb		Loading commit data...
socket1.adb		Loading commit data...
sort1.adb		Loading commit data...
sort1.ads		Loading commit data...
sort2.adb		Loading commit data...
spipaterr.adb		Loading commit data...
statically_matching.ads		Loading commit data...
str1.adb		Loading commit data...
string_slice.adb		Loading commit data...
string_slice2.adb		Loading commit data...
sync1.adb		Loading commit data...
sync1.ads		Loading commit data...
sync_iface_test.adb		Loading commit data...
sync_iface_test.ads		Loading commit data...
tag1.adb		Loading commit data...
tagged_type_pkg.adb		Loading commit data...
tagged_type_pkg.ads		Loading commit data...
tail_call.adb		Loading commit data...
tail_call_p.adb		Loading commit data...
tail_call_p.ads		Loading commit data...
tamdt.adb		Loading commit data...
tamdt.ads		Loading commit data...
tamdt_aux.ads		Loading commit data...
task_name.adb		Loading commit data...
task_name.ads		Loading commit data...
task_stack_align.adb		Loading commit data...
test_address_null_init.adb		Loading commit data...
test_allocator_maxalign2.adb		Loading commit data...
test_bip_no_alloc.adb		Loading commit data...
test_bounded.adb		Loading commit data...
test_debug1.adb		Loading commit data...
test_delay.adb		Loading commit data...
test_direct_io.adb		Loading commit data...
test_enum_io.adb		Loading commit data...
test_equal1.adb		Loading commit data...
test_ext1.adb		Loading commit data...
test_fixed_io.adb		Loading commit data...
test_iface_aggr.adb		Loading commit data...
test_ifaces.adb		Loading commit data...
test_image.adb		Loading commit data...
test_image_p.adb		Loading commit data...
test_image_p.ads		Loading commit data...
test_nested_subtype_byref.adb		Loading commit data...
test_oalign.adb		Loading commit data...
test_prefix1.adb		Loading commit data...
test_prio.adb		Loading commit data...
test_prio_p.adb		Loading commit data...
test_prio_p.ads		Loading commit data...
test_raise_from_pure.adb		Loading commit data...
test_rational_arithmetic.adb		Loading commit data...
test_self.adb		Loading commit data...
test_self_ref.adb		Loading commit data...
test_table1.adb		Loading commit data...
test_tables.adb		Loading commit data...
test_tamdt.adb		Loading commit data...
test_time_stamp.adb		Loading commit data...
test_unknown_discrs.adb		Loading commit data...
testint.adb		Loading commit data...
tf_interface_1.adb		Loading commit data...
tf_interface_1.ads		Loading commit data...
tfren.adb		Loading commit data...
thin_pointer.adb		Loading commit data...
thin_pointer.ads		Loading commit data...
timing_events.adb		Loading commit data...
trampoline1.adb		Loading commit data...
trampoline2.adb		Loading commit data...
tree_static_def.adb		Loading commit data...
tree_static_def.ads		Loading commit data...
tree_static_use.adb		Loading commit data...
type_conv.adb		Loading commit data...
unaligned_rep_clause.adb		Loading commit data...
unc.adb		Loading commit data...
unc_memfree.adb		Loading commit data...
unc_memops.adb		Loading commit data...
unc_memops.ads		Loading commit data...
unchecked_convert1.adb		Loading commit data...
unchecked_union1.adb		Loading commit data...
uninit_func.adb		Loading commit data...
valid1.adb		Loading commit data...
varsize_copy.adb		Loading commit data...
varsize_copy.ads		Loading commit data...
varsize_temp.adb		Loading commit data...
volatile1.ads		Loading commit data...
volatile2.adb		Loading commit data...
volatile2.ads		Loading commit data...
volatile_aggregate.adb		Loading commit data...
warn1.adb		Loading commit data...
warn2.adb		Loading commit data...
warn3.adb		Loading commit data...
warn4.adb		Loading commit data...
warn5.adb		Loading commit data...
wide_pi.adb		Loading commit data...
wide_test.adb		Loading commit data...
wrap_raise_from_pure.adb		Loading commit data...
wrap_raise_from_pure.ads		Loading commit data...