Turn off profile-use optimizations when profile is not available
commit757b68fc7e51fe2ea3e7aed7486b81aa098e5f1c
authordavidxl <davidxl@138bc75d-0d04-0410-961f-82ee72b054a4>
Sat, 26 Jul 2014 18:07:33 +0000 (26 18:07 +0000)
committerdavidxl <davidxl@138bc75d-0d04-0410-961f-82ee72b054a4>
Sat, 26 Jul 2014 18:07:33 +0000 (26 18:07 +0000)
tree5f890d201536e10d2cf18fed2b7fa4f0be551691
parente38d906936844d7d261a4e53c244dddda98b8916
Turn off profile-use optimizations when profile is not available

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/google@213086 138bc75d-0d04-0410-961f-82ee72b054a4
gcc-4_9/gcc/coverage.c
gcc-4_9/gcc/opts.c
gcc-4_9/gcc/opts.h
gcc-4_9/gcc/testsuite/g++.dg/tree-ssa/dom-invalid.C
gcc-4_9/gcc/testsuite/gcc.dg/pr26570.c
gcc-4_9/gcc/testsuite/gcc.dg/pr32773.c