| commit | 864bd5dee172ae84b6083c09ddd4123bbaa23f7d | |
| author | msebor <msebor@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Mon, 18 Jun 2018 16:32:59 +0000 (18 16:32 +0000) | ||
| committer | msebor <msebor@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Mon, 18 Jun 2018 16:32:59 +0000 (18 16:32 +0000) | ||
| tree | 01c31801fe48b1c21114b772785de9eefe119e7b | treesnapshot (tar.gz zip) |
| parent | 84f1425ee580687a23e0539e3ac9c43871e553ce | commitdiff |
PR tree-optimization/81384 - built-in form of strnlen missing
gcc/ChangeLog:
PR tree-optimization/81384
* builtin-types.def (BT_FN_SIZE_CONST_STRING_SIZE): New.
* builtins.c (expand_builtin_strnlen): New function.
(expand_builtin): Call it.
(fold_builtin_n): Avoid setting TREE_NO_WARNING.
* builtins.def (BUILT_IN_STRNLEN): New.
* calls.c (maybe_warn_nonstring_arg): Handle BUILT_IN_STRNLEN.
Warn for bounds in excess of maximum object size.
* tree-ssa-strlen.c (maybe_set_strlen_range): Return tree representing
single-value ranges. Handle strnlen.
(handle_builtin_strlen): Handle strnlen.
(strlen_check_and_optimize_stmt): Same.
* doc/extend.texi (Other Builtins): Document strnlen.
gcc/testsuite/ChangeLog:
PR tree-optimization/81384
* gcc.c-torture/execute/builtins/lib/strnlen.c: New test.
* gcc.c-torture/execute/builtins/strnlen-lib.c: New test.
* gcc.c-torture/execute/builtins/strnlen.c: New test.
* gcc.dg/attr-nonstring-2.c: New test.
* gcc.dg/attr-nonstring-3.c: New test.
* gcc.dg/attr-nonstring-4.c: New test.
* gcc.dg/strlenopt-45.c: New test.
* gcc.dg/strlenopt.h (strnlen): Declare.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@261705 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog:
PR tree-optimization/81384
* builtin-types.def (BT_FN_SIZE_CONST_STRING_SIZE): New.
* builtins.c (expand_builtin_strnlen): New function.
(expand_builtin): Call it.
(fold_builtin_n): Avoid setting TREE_NO_WARNING.
* builtins.def (BUILT_IN_STRNLEN): New.
* calls.c (maybe_warn_nonstring_arg): Handle BUILT_IN_STRNLEN.
Warn for bounds in excess of maximum object size.
* tree-ssa-strlen.c (maybe_set_strlen_range): Return tree representing
single-value ranges. Handle strnlen.
(handle_builtin_strlen): Handle strnlen.
(strlen_check_and_optimize_stmt): Same.
* doc/extend.texi (Other Builtins): Document strnlen.
gcc/testsuite/ChangeLog:
PR tree-optimization/81384
* gcc.c-torture/execute/builtins/lib/strnlen.c: New test.
* gcc.c-torture/execute/builtins/strnlen-lib.c: New test.
* gcc.c-torture/execute/builtins/strnlen.c: New test.
* gcc.dg/attr-nonstring-2.c: New test.
* gcc.dg/attr-nonstring-3.c: New test.
* gcc.dg/attr-nonstring-4.c: New test.
* gcc.dg/strlenopt-45.c: New test.
* gcc.dg/strlenopt.h (strnlen): Declare.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@261705 138bc75d-0d04-0410-961f-82ee72b054a4
17 files changed:
| gcc/ChangeLog | diffblobblamehistory | |
| gcc/builtin-types.def | diffblobblamehistory | |
| gcc/builtins.c | diffblobblamehistory | |
| gcc/builtins.def | diffblobblamehistory | |
| gcc/calls.c | diffblobblamehistory | |
| gcc/doc/extend.texi | diffblobblamehistory | |
| gcc/testsuite/ChangeLog | diffblobblamehistory | |
| gcc/testsuite/c-c++-common/attr-nonstring-3.c | diffblobblamehistory | |
| gcc/testsuite/gcc.c-torture/execute/builtins/lib/strnlen.c | [new file with mode: 0644] | blob |
| gcc/testsuite/gcc.c-torture/execute/builtins/strnlen-lib.c | [new file with mode: 0644] | blob |
| gcc/testsuite/gcc.c-torture/execute/builtins/strnlen.c | [new file with mode: 0644] | blob |
| gcc/testsuite/gcc.dg/attr-nonstring-2.c | [new file with mode: 0644] | blob |
| gcc/testsuite/gcc.dg/attr-nonstring-3.c | [new file with mode: 0644] | blob |
| gcc/testsuite/gcc.dg/attr-nonstring-4.c | [new file with mode: 0644] | blob |
| gcc/testsuite/gcc.dg/strlenopt-45.c | [new file with mode: 0644] | blob |
| gcc/testsuite/gcc.dg/strlenopt.h | diffblobblamehistory | |
| gcc/tree-ssa-strlen.c | diffblobblamehistory |