This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug middle-end/32521] [4.2] vrp_evaluate_conditional_warnv (tree-vrp.c:4186) at -O3 -ffast-math -ftree-vectorize -march=native
- From: "jv244 at cam dot ac dot uk" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 27 Jun 2007 18:33:40 -0000
- Subject: [Bug middle-end/32521] [4.2] vrp_evaluate_conditional_warnv (tree-vrp.c:4186) at -O3 -ffast-math -ftree-vectorize -march=native
- References: <bug-32521-6642@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #2 from jv244 at cam dot ac dot uk 2007-06-27 18:33 -------
Reduced testcase:
vondele@pcihopt3:/scratch/vondele/clean/cp2k/obj/Linux-x86-64-gfortran/sopt>
cat test.f90
SUBROUTINE build_qs_neighbor_lists()
INTEGER, PARAMETER :: dp=KIND(0.0D0)
REAL(dp), ALLOCATABLE, DIMENSION(:) :: c_radius
INTEGER :: nkind,istat
REAL(dp) :: alpha
ALLOCATE (c_radius(nkind),STAT=istat)
IF (istat /= 0) CALL stop_memory()
c_radius = 0.5_dp*SQRT(-LOG(3.5_dp*alpha**3*1.e-12_dp))/alpha
END SUBROUTINE build_qs_neighbor_lists
valgrind --tool=memcheck
/data03/vondele/gcc_4_2_0/build/libexec/gcc/x86_64-unknown-linux-gnu/4.2.0/f951
test.f90 -march=k8 -mtune=k8 -quiet -dumpbase test.f90 -auxbase
qs_neighbor_lists -O3 -version -ffast-math -ftree-vectorize -I
/data03/vondele/gcc_4_2_0/build/lib/gcc/x86_64-unknown-linux-gnu/4.2.0/finclude
==3990== Memcheck, a memory error detector.
==3990== Copyright (C) 2002-2007, and GNU GPL'd, by Julian Seward et al.
==3990== Using LibVEX rev 1732, a library for dynamic binary translation.
==3990== Copyright (C) 2004-2007, and GNU GPL'd, by OpenWorks LLP.
==3990== Using valgrind-3.2.3, a dynamic binary instrumentation framework.
==3990== Copyright (C) 2000-2007, and GNU GPL'd, by Julian Seward et al.
==3990== For more details, rerun with: -v
==3990==
GNU F95 version 4.2.0 (x86_64-unknown-linux-gnu)
compiled by GNU C version 4.2.0.
GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
==3990== Conditional jump or move depends on uninitialised value(s)
==3990== at 0x706E08: vrp_evaluate_conditional_warnv (tree-vrp.c:4186)
==3990== by 0x706F9C: vrp_evaluate_conditional (tree-vrp.c:4318)
==3990== by 0x4B6E9F: substitute_and_fold (tree-ssa-propagate.c:1053)
==3990== by 0x700F04: execute_vrp (tree-vrp.c:5318)
==3990== by 0x6F9F27: execute_one_pass (passes.c:881)
==3990== by 0x6FA08B: execute_pass_list (passes.c:932)
==3990== by 0x6FA09D: execute_pass_list (passes.c:933)
==3990== by 0x48CCCD: tree_rest_of_compilation (tree-optimize.c:463)
==3990== by 0x742363: cgraph_expand_function (cgraphunit.c:1244)
==3990== by 0x742C8D: cgraph_optimize (cgraphunit.c:1309)
==3990== by 0x4633DC: gfc_be_parse_file (f95-lang.c:307)
==3990== by 0x6DBF92: toplev_main (toplev.c:1033)
==3990==
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32521