[wwwdocs] Add some more stuff into GCC14 changes.html

[Jan Hubicka]

Hi,
I realize that I am late for the release (sorry for that). But here are
few things which I think may be added to changes.html at least for those
who will look later.
OK?
Honza

diff --git a/htdocs/gcc-14/changes.html b/htdocs/gcc-14/changes.html
index ca5174de..b390db51 100644
--- a/htdocs/gcc-14/changes.html
+++ b/htdocs/gcc-14/changes.html
@@ -158,6 +158,22 @@ You may also want to check out our
        or the vectorizer must be able to determine based on auxillary 
information
        that the accesses are aligned.
       </li>
+  <li>Significant improvements in maintenance of edge profile across
+      optimizations performing control flow changes.</li>
+  <li>Condition coverage instrumentation is now available using
+      <a 
href=https://gcc.gnu.org/onlinedocs/gcc/Instrumentation-Options.html#index-fcondition-coverage</a>-fcondition-coverage</a>
+      which can be analyzed using <code>gcov  --conditions</code>.
+  <li>Inter-procedural value range propagation can now propagate value ranges
+      of return values of function and also ranges which can be derived from:
+      <pre>
+       if (val > constant)
+         __builtin_unreachable ();
+      </pre>
+  </li>
+  <li>Scalar replacement for aggregates now uses escape information
+      determined by mod-ref pass.  This improves code generation in case
+      some C++ member functions are not inlined.</li>
+  </li>
 </ul>
 <!-- .................................................................. -->
 <h2 id="languages">New Languages and Language specific improvements</h2>
@@ -582,6 +598,7 @@ You may also want to check out our
   <li>Faster numeric conversions using <code>std::to_string</code> and
     <code>std::to_wstring</code>.
   </li>
+  <li>Significantly faster <code>std::vector::push_back</code>
   <li>Updated parallel algorithms that are compatible with oneTBB.</li>
   <li><code>std::numeric_limits&lt;_Float32&gt;</code> and
     <code>std::numeric_limits&lt;_Float64&gt;</code> are now defined