diff options
| -rw-r--r-- | evaluate.c | 2 | ||||
| -rw-r--r-- | linearize.h | 4 | ||||
| -rw-r--r-- | validation/eval/assign-restricted-ok.c | 22 | ||||
| -rw-r--r-- | validation/linear/asm-out0.c | 2 |
4 files changed, 26 insertions, 4 deletions
@@ -1442,7 +1442,7 @@ static int check_assignment_types(struct symbol *target, struct expression **rp, if (sclass & TYPE_FOULED && unfoul(s) == t) goto Cast; if (!restricted_value(*rp, target)) - return 1; + goto Cast; if (s == t) return 1; } else if (!(sclass & TYPE_RESTRICT)) diff --git a/linearize.h b/linearize.h index cf0cf066..01ee656c 100644 --- a/linearize.h +++ b/linearize.h @@ -150,8 +150,8 @@ struct instruction { struct /* asm */ { const char *string; struct asm_rules *asm_rules; - int clobber_memory:1; - int output_memory:1; + unsigned int clobber_memory:1; + unsigned int output_memory:1; }; }; }; diff --git a/validation/eval/assign-restricted-ok.c b/validation/eval/assign-restricted-ok.c new file mode 100644 index 00000000..df94d8c9 --- /dev/null +++ b/validation/eval/assign-restricted-ok.c @@ -0,0 +1,22 @@ +#ifdef __CHECKER__ +#define __bitwise __attribute__((bitwise)) +#else +#define __bitwise +#endif + +typedef __INT16_TYPE__ __bitwise __be16; + +static __be16 foo(void) +{ + __be16 val = 0; + return val; +} + +/* + * check-name: assign-restricted-ok + * check-command: test-linearize -fdump-ir $file + * + * check-output-ignore + * check-output-contains: store\\.16 + * check-output-excludes: store\\.32 + */ diff --git a/validation/linear/asm-out0.c b/validation/linear/asm-out0.c index a8e0be69..8b0907b3 100644 --- a/validation/linear/asm-out0.c +++ b/validation/linear/asm-out0.c @@ -6,7 +6,7 @@ static void asm_out0(void) /* * check-name: asm-out0 - * check-command: test-linearize -fdump-ir $file + * check-command: test-linearize -m64 -fdump-ir $file * * check-output-start asm_out0: |