diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2019-12-05 03:35:13 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2019-12-10 23:26:23 +0100 |
| commit | 9e1c8ec13686b2c9ca726066501f5988b78a0504 (patch) | |
| tree | e7f12c2b2a014396070db52b1c5f872e43b25e30 /validation/expand | |
| parent | 41ba12bf8e76ee2c69222c1c3dfb1a3d420a73d9 (diff) | |
| download | sparse-dev-9e1c8ec13686b2c9ca726066501f5988b78a0504.tar.gz | |
fix expansion of initializer (mismatching size)
Currently, the expansion of constant initializers is done
whenever the offset in the initializer match the one
we're expanding.
However, it's not correct to do this expansion if their
size doesn't match since in this case the value of one
doesn't represent the value of the other.
Fix this by adding a check for the size.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/expand')
| -rw-r--r-- | validation/expand/constant-union-size.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/validation/expand/constant-union-size.c b/validation/expand/constant-union-size.c index b6c3ac75..8a16bf3e 100644 --- a/validation/expand/constant-union-size.c +++ b/validation/expand/constant-union-size.c @@ -13,7 +13,6 @@ static int foo(void) * check-name: constant-union-size * check description: the size of the initializer doesn't match * check-command: test-linearize -fdump-ir $file - * check-known-to-fail * * check-output-ignore * check-output-contains: load\\. |