Age | Commit message (Collapse) | Author | Files | Lines |
|
./: * common.opt: Add fstrict-overflow.
* opts.c (decode_options): Set flag_strict_overflow if -O2.
* flags.h (TYPE_OVERFLOW_WRAPS): Define.
(TYPE_OVERFLOW_UNDEFINED): Define.
(TYPE_OVERFLOW_TRAPS): Define. This replaces TYPE_TRAP_SIGNED.
Replace all uses.
* tree.h (TYPE_TRAP_SIGNED): Don't define.
* fold-const.c (negate_expr_p): Use TYPE_OVERFLOW_UNDEFINED.
(fold_negate_expr): Likewise.
(make_range): Likewise.
(extract_muldiv_1): Likewise.
(maybe_canonicalize_comparison): Likewise.
(fold_comparison): Likewise.
(fold_binary): Likewise.
(tree_expr_nonnegative_p): Likewise.
(tree_expr_nonzero_p): Likewise.
* tree-vrp.c (compare_values): Likewise.
(extract_range_from_binary_expr): Likewise.
(extract_range_from_unary_expr): Likewise.
* tree-ssa-loop-niter.c (infer_loop_bounds_from_signedness):
Likewise.
(nowrap_type_p): Likewise.
* tree-scalar-evolution.c (simple_iv): Likewise.
* fold-const.c (negate_expr_p): Use TYPE_OVERFLOW_WRAPS.
(build_range_check): Likewise.
(extract_muldiv_1): Likewise.
(fold_comparison): Likewise.
* tree-vrp.c (vrp_int_const_binop): Likewise.
(extract_range_from_unary_expr): Likewise.
* convert.c (convert_to_integer): Likewise.
* fold-const.c (fold_negate_expr): Use TYPE_OVERFLOW_TRAPS.
(fold_comparison): Likewise.
(fold_binary): Likewise.
* optabs.c (optab_for_tree_code): Likewise.
* tree-vectorizer.c (vect_is_simple_reduction): Likewise.
* simplify-rtx.c (simplify_const_relational_operation): Check
flag_strict_overflow and flag_trapv.
(simplify_const_relational_operation): Likewise.
* doc/invoke.texi (Option Summary): Mention -fstrict-overflow.
(Optimize Options): Add -fstrict-overflow to -O2 list. Document
-fstrict-overflow.
testsuite/:
* gcc.dg/strict-overflow-1.c: New test.
* gcc.dg/no-strict-overflow-1.c: New test.
* gcc.dg/strict-overflow-2.c: New test.
* gcc.dg/no-strict-overflow-2.c: New test.
* gcc.dg/strict-overflow-3.c: New test.
* gcc.dg/no-strict-overflow-3.c: New test.
* gcc.dg/strict-overflow-4.c: New test.
* gcc.dg/no-strict-overflow-4.c: New test.
* gcc.dg/fold-mod-1.c: Add -fstrict-overflow option.
* gcc.dg/pr15784-1.c: Likewise.
* gcc.dg/pr20922-1.c: Likewise.
* gcc.dg/pr20922-3.c: Likewise.
* gcc.dg/pr20922-4.c: Likewise.
* gcc.dg/pr20922-6.c: Likewise.
* gcc.dg/compare-4.c: Likewise.
* gcc.dg/torture/pr26898-1.c: Likewise.
* gcc.dg/tree-ssa/divide-1.c: Likewise.
* gcc.dg/tree-ssa/divide-2.c: Likewise.
* gcc.dg/tree-ssa/divide-3.c: Likewise.
* gcc.dg/tree-ssa/divide-4.c: Likewise.
* gcc.dg/tree-ssa/pr14490-1.c: Likewise.
* gcc.dg/tree-ssa/pr14490-3.c: Likewise.
* gcc.dg/tree-ssa/pr21082.c: Likewise.
* gcc.dg/tree-ssa/pr26899.c: Likewise.
* g++.dg/tree-ssa/pr21082.C: Likewise.
From-SVN: r121254
|
|
* tree.c (tree_fold_gcd): Delete.
* tree.h (tree_fold_gcd): Remove prototype.
* tree-data-ref.c (tree_fold_divides_p): Don't use tree_fold_gcd to
test whether one constant integer is a multiple of another. Instead
call int_const_binop with TRUNC_MOD_EXPR and test for a zero result.
* fold-const.c (multiple_of_p): We've determined both TOP and
BOTTOM are integer constants so we can call int_const_binop directly
instead of the more generic const_binop.
From-SVN: r121253
|
|
* fold-const.c (size_binop): In the fast-paths for X+0, 0+X, X-0 and
1*X check that the constant hasn't overflowed, to preserve the
TREE_OVERFLOW bit.
(round_up): Provide an efficient implementation when rouding-up an
INTEGER_CST to a power-of-two.
* gcc-dg/large-size-array-3.c: New test case.
From-SVN: r121252
|
|
From-SVN: r121250
|
|
From-SVN: r121245
|
|
* doc/sourcebuild.texi: Add comma for clarity.
* doc/extend.texi: Fix some typos.
* doc/passes.texi: Likewise.
* doc/cppinternals.texi: Likewise.
* doc/c-tree.texi: Likewise.
* doc/tree-ssa.texi: Likewise.
From-SVN: r121242
|
|
* doc/sourcebuild.texi: Add comma for clarity.
* doc/extend.texi: Fix some typos.
* doc/passes.texi: Likewise.
* doc/cppinternals.texi: Likewise.
* doc/c-tree.texi: Likewise.
* doc/tree-ssa.texi: Likewise.
From-SVN: r121241
|
|
* tree-sra.c (sra_walk_function): Don't rely on aliases being build.
(pass_sra): Do not require alias information.
* passes.c (init_optimization_passes): Add SRA
From-SVN: r121240
|
|
2007-01-27 Andreas Tobler <a.tobler@schweiz.org>
PR libgcj/30513
* configure.host: Add forgottten sysdep_dir to sparc. Add a flag to
libgcj_flags to undefine 'sun' at compile time.
* sysdep/sparc/locks.h (read_barrier): New functions for 32 and 64 bit
Sparc.
(write_barrier): Likewise.
From-SVN: r121239
|
|
config
2007-01-27 Paolo Bonzini <bonzini@gnu.org>
* depstand.m4 (ZW_CREATE_DEPDIR): Use mkinstalldirs to make
directory.
libcpp
* configure: Rebuilt.
From-SVN: r121237
|
|
previously implemented a...
* trans-stmt.c (forall_info): Replace the next_nest and outer
fields that previously implemented a doubly-linked list with a
single prev_nest field (singly-linked list).
(gfc_trans_nested_forall_loop): The nested_forall_info argument
now denotes the innermost FORALL in the loop nest.
(compute_overall_iter_number): Use prev_nest instead of next_nest.
(gfc_trans_forall_1): Link/cons the new "info" to the head of the
nested_forall_info linked list. Free the current "info" when done.
* gfortran.dg/forall_7.f90: New test case.
From-SVN: r121236
|
|
wrongly rejected)
2007-01-27 Paul Thomas <pault@gcc.gnu.org>
PR fortran/30407
* trans-expr.c (gfc_conv_operator_assign): New function.
* trans.h : Add prototype for gfc_conv_operator_assign.
* trans-stmt.c (gfc_trans_where_assign): Add a gfc_symbol for
a potential operator assignment subroutine. If it is non-NULL
call gfc_conv_operator_assign instead of the first assignment.
( gfc_trans_where_2): In the case of an operator assignment,
extract the argument expressions from the code for the
subroutine call and pass the symbol to gfc_trans_where_assign.
resolve.c (resolve_where, gfc_resolve_where_code_in_forall,
gfc_resolve_forall_body): Resolve the subroutine call for
operator assignments.
2007-01-27 Paul Thomas <pault@gcc.gnu.org>
PR fortran/30407
* gfortran.dg/where_operator_assign_1.f90: New test.
* gfortran.dg/where_operator_assign_2.f90: New test.
* gfortran.dg/where_operator_assign_3.f90: New test.
From-SVN: r121235
|
|
(getAllClassMethods): Move error handling to ...
(throw_jvmti_error): ... here.
(jdwpClassPrepareCB): New function.
(jdwpThreadEndCB): New function.
(jdwpThreadStartCB): New function.
(jdwpVMDeathCB): New function.
(jdwpVMInitCB): Define and enable callbacks for
ClassPrepare, ThreadEnd, ThreadStart, and VMDeath.
From-SVN: r121233
|
|
so don't do it here again.
* tracer.c (rest_of_handle_tracer): We already cleaned
up the CFG in tracer() so don't do it here again.
* cfgcleanup.c (rest_of_handle_jump2): Don't repeat
cleanup_cfg here, either. And don't call renumber_insns.
* cfgrtl.c (rtl_verify_flow_info_1): Don't verify that BB_END
and BB_HEAD are in the insn stream here. Instead make sure
that BB_INSN is valid on all insns. Also, do check here that
there are no pending branch predictions...
(rtl_verify_flow_info): ...instead of doing it here. Checks
for BB_END and BB_HEAD moved from rtl_verify_flow_info_1 to
here.
From-SVN: r121231
|
|
From-SVN: r121229
|
|
simplify/factorize operand order canonicalization.
* config/i386/i386.c (ix86_swap_binary_operands_p): New helper
function to simplify/factorize operand order canonicalization.
(ix86_fixup_binary_operands): Reorganize using the above function.
(ix86_binary_operator_ok): Likewise.
From-SVN: r121227
|
|
From-SVN: r121225
|
|
(check_effective_target_powerpc_altivec): New.
(check_effective_target_vect_cmdline_needed): Use it.
From-SVN: r121219
|
|
2007-01-26 Steven Bosscher <stevenb.gcc@gmail.com>
Steven G. Kargl <kargl@gcc.gnu,org>
* testsuite/gfortran.dg/backslash_3.f: New test.
* fortran/io.c (next_char): Deal with backslash escaped characters.
Issue warnings in non -std=gnu cases.
* fortran/primary.c (next_string_char): Issue warnings in non
From-SVN: r121218
|
|
* Makefile.am (generic_header_files): Add $(inner_nat_headers).
* testsuite/Makefile.am (check-dejaGNU): Depend on compile-tests.
(MYGCJH): New variable.
(compile-tests): New goal.
* Makefile.in: Rebuilt.
* testsuite/Makefile.in: Rebuilt.
From-SVN: r121217
|
|
optimize_attrs.
* genattrtab.c (struct attr_value_list, insn_code_values): Move to
file scope from optimize_attrs.
(simplify_test_exp): If insn_code_values is not NULL, use it to speed
up search.
(optimize_attrs): Clear insn_code_values after freeing it.
From-SVN: r121216
|
|
* Updated headers.
libjava/classpath
* tools/gnu/classpath/tools/javah/FieldHelper.java (print): Print
'volatile' after field type.
From-SVN: r121215
|
|
assignment.
* tree-ssa-address.c (create_mem_ref): Remove ", bsi" from
a parts.base assignment.
From-SVN: r121213
|
|
* tree-data-ref.c (dump_subscript): Use dump_conflict_function.
(compute_subscript_distance, initialize_data_dependence_relation,
finalize_ddr_dependent, analyze_ziv_subscript,
analyze_siv_subscript_cst_affine,
compute_overlap_steps_for_affine_univar,
compute_overlap_steps_for_affine_1_2, analyze_subscript_affine_affine,
analyze_siv_subscript, analyze_miv_subscript,
analyze_overlapping_iterations, subscript_dependence_tester_1,
compute_self_dependence, free_dependence_relation): Work
with affine_fn instead of chrecs.
(dump_affine_function, dump_conflict_function, affine_function_equal_p,
common_affine_function, affine_function_base,
affine_function_constant_p, affine_fn_op, affine_fn_plus,
affine_fn_minus, affine_fn_free, conflict_fn_not_known,
conflict_fn_no_dependence, free_conflict_function, free_subscripts,
conflict_fn, affine_fn_cst, affine_fn_univar): New functions.
(all_chrecs_equal_p): Removed.
* tree-data-ref.h (affine_fn, conflict_function): New types.
(struct subscript): Change type of conflicting_iterations_in_a
and conflicting_iterations_in_b.
From-SVN: r121212
|
|
PR other/30182
* config/pa/pa.h (TARGET_HPUX_11): New.
* config/pa/pa-hpux11.h (TARGET_HPUX_11): New.
* config/pa/pa.c (pa_init_builtins): Use TARGET_HPUX_11.
From-SVN: r121211
|
|
2007-01-26 Paolo Carlini <pcarlini@suse.de>
PR libstdc++/30586
* config/cpu/ia64/atomic_word.h: Just include <bits/cxxabi_tweaks.h>.
* testsuite/abi/30586.cc: New.
From-SVN: r121209
|
|
2007-01-26 Richard Guenther <rguenther@suse.de>
* gcc.dg/tree-ssa/pr23382.c: Fix typo.
From-SVN: r121205
|
|
another.
2007-01-26 Daniel Berlin <dberlin@dberlin.org>
Richard Guenther <rguenther@suse.de>
* tree-ssa-structalias.c (solve_graph): Handle case
we merged the variable to another.
Co-Authored-By: Richard Guenther <rguenther@suse.de>
From-SVN: r121202
|
|
fortran/
2007-01-26 Tobias Burnus <burnus@net-b.de>
* lang-specs.h: Add support for .f03 and .F03 extensions.
* gfortran.texi: Document .f03 extension.
* options.c (form_from_filename): Recognize .f03.
testsuite/
2007-01-26 Tobias Burnus <burnus@net-b.de>
* gfortran.dg/gomp/gomp.exp: Support .f03 extension.
* gfortran.dg/vect/vect.exp: Ditto.
* gfortran.dg/dg.exp: Ditto.
* gfortran.fortran-torture/execute/execute.exp: Ditto.
* gfortran.fortran-torture/compile/compile.exp: Ditto.
libgomp/
2007-01-26 Tobias Burnus <burnus@net-b.de>
* testsuite/libgomp.fortran/fortran.exp: Support .f03 extension.
From-SVN: r121201
|
|
* builtins.c (fold_builtin_1): Treat ccos and ccosh as 'even'
functions.
* fold-const.c (negate_mathfn_p): Treat casin, casinh, catan,
catanh, cproj, csin, csinh, ctan and ctanh as 'odd' functions.
testsuite:
* gcc.dg/builtins-20.c: Add more cases.
* gcc.dg/torture/builtin-symmetric-1.c: Likewise.
From-SVN: r121200
|
|
which don't fit in those registers.
* config/m32c/m32c.c (m32c_cannot_change_mode_class): We don't
allow changes to modes which don't fit in those registers.
From-SVN: r121199
|
|
their locations, not after.
* reload1.c (choose_reload_regs): Check for invalid subregs before
computing their locations, not after.
From-SVN: r121198
|
|
PR libgcj/29594:
* gnu/gcj/convert/Convert.java (main): Correctly handle missing
input or output encodings. Removed unused local variables.
From-SVN: r121197
|
|
From-SVN: r121195
|
|
2007-01-25 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
PR fortran/30437
fortran/
* lang.opt (Wall): Remove RejectNegative.
* options.c (gfc_handle_option): Wall can be disabled.
(set_Wall): Add a parameter for disabling Wall.
testsuite/
* gcc.dg/Wall.c: New.
* gcc.dg/Wno-all.c: New.
* gfortran.dg/Wall.f90: New.
* gfortran.dg/Wno-all.f90: New.
From-SVN: r121186
|
|
* include/jvmti-int.h (_Jv_GetJDWP_JVMTIEnv): Declare.
* gnu/classpath/jdwp/natVMVirtualMachine.cc
(_Jv_GetJDWP_JVMTIEnv): New function.
* gnu/classpath/jdwp/natVMMethod.cc (getName): Implement.
(getSignature): Implement.
(getModifiers): Implement.
From-SVN: r121185
|
|
config/rs6000/rs6000.c:14039)
2007-01-24 Geoffrey Keating <geoffk@apple.com>
PR 25127
* config/rs6000/rs6000.c (first_altivec_reg_to_save): On Darwin,
save Altivec registers in an eh_return function.
(compute_vrsave_mask): Likewise.
(rs6000_stack_info): Correct AIX/Darwin stack alignment computation
for saving Altivec registers.
(rs6000_emit_prologue): Don't allocate stack twice in
eh_return function. Correct expected value of altivec_save_offset
when using save_world. Describe save of R0 to stack when using
save_world. Describe stack pointer adjustment when using
save_world. Remove duplicated eh_return parameter register saving.
Update sp_offset variable after save_world.
* config/rs6000/t-darwin (LIB2FUNCS_STATIC_EXTRA): Remove
darwin-world.asm.
(LIB2FUNCS_EXTRA): Add darwin-world.asm.
* config/rs6000/darwin.h (SUBTARGET_OVERRIDE_OPTIONS): -m64
implies Altivec.
Index: gcc/testsuite/ChangeLog
2007-01-24 Geoffrey Keating <geoffk@apple.com>
* gcc.target/powerpc/darwin-ehreturn-1.c: New.
* g++.dg/eh/simd-2.C: Also run on Darwin.
* g++.dg/eh/simd-3.C: New.
* g++.dg/eh/simd-4.C: New.
From-SVN: r121184
|
|
2007-01-25 Andrew Haley <aph@redhat.com>
* configure, Makefile.in, include/config.h.in: Rebuilt.
* Makefile.am (libgcj_la_LIBADD): Removed $(LIBMAGIC).
* configure.ac: Don't check for libmagic.
* java/net/natVMURLConnection.cc (p_magic_open, p_magic_load,
p_magic_close, p_magic_buffer): New globals.
(init): Look up 'magic' functions.
(guessContentTypeFromBuffer): Updated.
From-SVN: r121183
|
|
2007-01-25 Daniel Franke <franke.daniel@gmail.com>
PR target/30272
* inclhack.def(broken_cabs): Also remove definition of cabsl.
* fixincl.x: Regenerate.
* tests/base/math.h: Update.
From-SVN: r121182
|
|
From-SVN: r121180
|
|
* jvmti.cc (_Jv_JVMTI_GetMethodName): New function.
(_Jv_JVMTI_Interface): Define GetMethodName.
* testsuite/libjava.jvmti/getmethodname.java: New file.
* testsuite/libjava.jvmti/natgetmethodname.cc: New file.
* testsuite/libjava.jvmti/getmethodname.out: New file.
From-SVN: r121179
|
|
PR other/30182
* config/pa/pa.c (pa_init_builtins): Set asm names for finite routines.
* config/ia64/ia64.c (ia64_init_builtins): Ditto.
From-SVN: r121178
|
|
TREE_CONSTANT_OVERFLOW.
* decl.c (gnat_to_gnu_entity): Use TREE_OVERFLOW instead of
TREE_CONSTANT_OVERFLOW.
(allocatable_size_p, annotate_value): Likewise.
* trans.c (gnat_to_gnu): Likewise.
* utils.c (unchecked_convert): Likewise.
* utils2.c (build_simple_component_ref): Likewise.
From-SVN: r121177
|
|
* configure.ac: Add --enable-version-specific-runtime-libs.
Correct $slibdir default.
* configure: Regenerated.
From-SVN: r121176
|
|
2007-01-25 Kyle Galloway <kgallowa@redhat.com>
* testsuite/libjava.jvmti/lib/libjava.exp (exec_gij): Change [ to { in
if statement.
From-SVN: r121174
|
|
* ChangeLog: Add ChangeLog entry that didn't apply.
From-SVN: r121173
|
|
2007-01-25 Kyle Galloway <kgallowa@redhat.com>
* libjava/testsuite/libjava.jvmti/jvmti-interp.exp: New file.
* libjava/testsuite/libjava.jvmti/interp: New folder.
* libjava/testsuite/lib/libjava.exp (exec_gij): New Method.
From-SVN: r121172
|
|
2007-01-25 Nathan Myers <ncm@cantrip.org>
* include/bits/streambuf_iterator.h (istreambuf_iterator<>::equal):
Simplify.
From-SVN: r121170
|
|
2007-01-25 Richard Guenther <rguenther@suse.de>
* doc/invoke.texi (-Wcoverage-mismatch): Document.
* common.opt (-Wcoverage-mismatch): New warning option.
* coverage.c (get_coverage_counts): Ignore coverage mismatch
if -Wcoverage-mismatch is given.
* gcc.dg/tree-prof/tree-prof.exp: Define _PROFILE_GENERATE
and _PROFILE_USE.
* gcc.dg/tree-prof/wcoverage-mismatch.c: New testcase.
From-SVN: r121169
|
|
2007-01-25 Razya Ladelsky <razya@il.ibm.com>
* gcc.dg/ipa/ipa-1.c: Update scan tree dump.
* gcc.dg/ipa/ipa-2.c: Update scan tree dump.
* gcc.dg/ipa/ipa-3.c: Update scan tree dump.
* gcc.dg/ipa/ipa-4.c: Update scan tree dump.
* gcc.dg/ipa/ipa-5.c: Update scan tree dump.
* gcc.dg/ipa/ipa-6.c: Update scan tree dump.
* gcc.dg/ipa/ipa-7.c: New testcase.
From-SVN: r121168
|