diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2019-12-08 18:36:43 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2019-12-10 23:26:23 +0100 |
| commit | ae0ec237a888ee6a2c755d4cdf8b1015e63e55a7 (patch) | |
| tree | 86358e1a57227c9c1be3c3ad3389647d953cc8eb /validation/init-char-array1.c | |
| parent | aa2235905e9afd2f14fbc26b0159e5b64e07314e (diff) | |
| download | sparse-dev-ae0ec237a888ee6a2c755d4cdf8b1015e63e55a7.tar.gz | |
add testcase for addressability of degenerated symbol
An array or a function that degenerates into a pointer
has its address implicitly taken since the result is
equivalent to '&array[0]' or '&fun'.
So, the corresponding symbol needs to be marked as
addressable, like when its address is explicitly taken.
Add a testcase to illustrate this.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/init-char-array1.c')
0 files changed, 0 insertions, 0 deletions