On Sat, Dec 18, 2021 at 06:05:10PM +0530, Siddhesh Poyarekar wrote:
> Handle non-constant expressions in GIMPLE_CALL arguments. Also handle
> alloca.
>
> gcc/ChangeLog:
>
> * tree-object-size.c (alloc_object_size): Make and return
> non-constant size expression.
> (call_object_size): Return expression or unknown based on
> whether dynamic object size is requested.
>
> gcc/testsuite/ChangeLog:
>
> * gcc.dg/builtin-dynamic-object-size-0.c: Add new tests.
> * gcc.dg/builtin-object-size-1.c (test1)
> [__builtin_object_size]: Alter expected result for dynamic
> object size.
> * gcc.dg/builtin-object-size-2.c (test1)
> [__builtin_object_size]: Likewise.
> * gcc.dg/builtin-object-size-3.c (test1)
> [__builtin_object_size]: Likewise.
> * gcc.dg/builtin-object-size-4.c (test1)
> [__builtin_object_size]: Likewise.
Ok.
Jakub
