Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/c-c++-common/simulate-thread/bitfields-2.c @ 145:1830386684a0
gcc-9.2.0
author | anatofuz |
---|---|
date | Thu, 13 Feb 2020 11:34:05 +0900 |
parents | 04ced10e8804 |
children |
line wrap: on
line source
/* { dg-do link { target { ! int16 } } } */ /* { dg-options "-fno-allow-store-data-races" } */ /* { dg-final { simulate-thread } } */ #include <stdio.h> #include "../../gcc.dg/simulate-thread/simulate-thread.h" /* Test that we don't store past VAR.K. */ struct S { volatile int i; volatile int j: 32; volatile int k: 15; volatile unsigned char c[2]; } var; static int global = 0; void simulate_thread_other_threads() { global++; var.c[0] = global % 256; var.c[1] = global % 256; } int simulate_thread_step_verify() { if (var.c[0] != global % 256 || var.c[1] != global % 256) { printf("FAIL: invalid intermediate result for <var.c[]>.\n"); return 1; } return 0; } int simulate_thread_final_verify() { if (var.k != 13) { printf("FAIL: invalid final result\n"); return 1; } return 0; } __attribute__((noinline)) void simulate_thread_main() { var.k = 13; } int main() { simulate_thread_main(); simulate_thread_done(); return 0; }