[PATCH] Do not disable aggressive loop opts for, -fsanitize=unreachable or leak

Martin Liška mliska@suse.cz
Wed Oct 19 11:39:00 GMT 2016


Hello.

This patch allows aggressive loop optimizations and strict overflow when
-fsanitize=unreachabne or -fsanitize=leak is (are) enabled. That would
help kernel people to have assumption that every functions should either
end with jmp ret or by __builtin___ubsan_handle_builtin_unreachable.

Patch can bootstrap on ppc64le-redhat-linux and survives regression tests.

Ready to be installed?
Martin
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-Do-not-disable-aggressive-loop-opts-for-fsanitize-un.patch
Type: text/x-patch
Size: 2186 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20161019/ed6b0afd/attachment.bin>


More information about the Gcc-patches mailing list