* builtins.c (unterminated_array): New.
commita788aa5f3d83193eefe5902bb4290b36c3f301bf
authorlaw <law@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 14 Sep 2018 18:23:58 +0000 (14 18:23 +0000)
committerlaw <law@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 14 Sep 2018 18:23:58 +0000 (14 18:23 +0000)
tree85a654a129f0c74bd85567d343cb3ba067c3c9c4
parent84578769d9770449b30831c6017c2cdc6def6dc1
* builtins.c (unterminated_array): New.
(expand_builtin_strcpy): Adjust.
(expand_builtin_strcpy_args): Detect unterminated arrays.
* gimple-fold.c (get_maxval_strlen): Add argument.  Detect
unterminated arrays.
* gimple-fold.h (get_maxval_strlen): Add argument.
(gimple_fold_builtin_strcpy): Detec unterminated arrays.

* gimple-fold.c (get_range_strlen): Add argument.
(get_maxval_strlen): Adjust.
* gimple-fold.h (get_range_strlen): Add argument.

* gcc.dg/warn-strcpy-no-nul.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@264327 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/builtins.c
gcc/gimple-fold.c
gcc/gimple-fold.h
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/warn-strcpy-no-nul.c [new file with mode: 0644]