diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-12-04 20:09:19 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-12-28 21:38:59 +0100 |
| commit | 5826deab5956e5090ca73da7ec1cf8b8716780ad (patch) | |
| tree | 20322fdc0804594440886033684c10d0a680f026 /validation/linear/degen-function.c | |
| parent | 69a789a78d4e64052628307f25310e195a50f5ee (diff) | |
| download | sparse-dev-5826deab5956e5090ca73da7ec1cf8b8716780ad.tar.gz | |
add more testcases for function designator dereference
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/linear/degen-function.c')
| -rw-r--r-- | validation/linear/degen-function.c | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/validation/linear/degen-function.c b/validation/linear/degen-function.c index 6dd3123b..4fb2d564 100644 --- a/validation/linear/degen-function.c +++ b/validation/linear/degen-function.c @@ -4,6 +4,7 @@ typedef int (*fun_t)(int); fun_t fa(void) { return &fun; } fun_t f0(void) { return fun; } +fun_t f1(void) { return *fun; } /* * check-name: degen-function @@ -34,5 +35,17 @@ f0: ret.64 %r3 +f1: +.L4: + <entry-point> + symaddr.64 %r5 <- fun + phisrc.64 %phi3(return) <- %r5 + br .L5 + +.L5: + phi.64 %r6 <- %phi3(return) + ret.64 %r5 + + * check-output-end */ |