Mercurial > hg > CbC > CbC_gcc

view gcc/testsuite/g++.dg/ubsan/pr81281.C @ 158:494b0b89df80 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 84e7813d76e9
children
line wrap: on
line source

// PR sanitizer/81281
// { dg-do run }
// { dg-options "-fsanitize=undefined -fno-sanitize-recover=undefined" }
// { dg-additional-sources "pr81281-aux.cc" }

extern const int ci;
extern int i;
extern long long ll;

int
foo ()
{
  int a = (int) (-2024172551 - i - (ci - ll))
	  - ((int) (-2024172551 - i - (ci - ll))
	     - (int) (-2024172551 - (long long)ci));
  return a;
}

int
main ()
{
  if (__SIZEOF_INT__ * __CHAR_BIT__ == 32
      && __SIZEOF_LONG_LONG__ * __CHAR_BIT__ == 64)
    foo ();
  return 0;
}