https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109170

--- Comment #7 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Richard Biener <rgue...@gcc.gnu.org>:

https://gcc.gnu.org/g:65369ab62cee68eb7f6ef65e3d12d1969a9e20ee

commit r14-300-g65369ab62cee68eb7f6ef65e3d12d1969a9e20ee
Author: Richard Biener <rguent...@suse.de>
Date:   Fri Mar 17 13:14:49 2023 +0100

    tree-optimization/109170 - bogus use-after-free with __builtin_expect

    The following generalizes the range-op for __builtin_expect
    by using the fnspec machinery.

            PR tree-optimization/109170
            * gimple-range-op.cc (gimple_range_op_handler::maybe_builtin_call):
            Handle __builtin_expect and similar via cfn_pass_through_arg1
            and inspecting the calls fnspec.
            * builtins.cc (builtin_fnspec): Handle BUILT_IN_EXPECT
            and BUILT_IN_EXPECT_WITH_PROBABILITY.

Reply via email to