Print this page
new smatch
   1 static unsigned int foo(unsigned int x, long a)
   2 {
   3         x /= a;
   4         return x;
   5 }
   6 
   7 /*
   8  * check-name: compound-assign-type
   9  * check-command: test-linearize -m64 $file


  10  * check-output-ignore
  11  *
  12  * check-output-excludes: divu\\.32
  13  * check-output-contains: divs\\.64
  14  * check-output-contains: scast\\.32

  15  */
   1 static unsigned int foo(unsigned int x, long a)
   2 {
   3         x /= a;
   4         return x;
   5 }
   6 
   7 /*
   8  * check-name: compound-assign-type
   9  * check-command: test-linearize -m64 $file
  10  * check-assert: sizeof(long) == 8
  11  *
  12  * check-output-ignore
  13  *
  14  * check-output-excludes: divu\\.32
  15  * check-output-contains: divs\\.64
  16  * check-output-contains: zext.64 .* (32) %arg1
  17  * check-output-contains: trunc.32 .* (64)
  18  */