Print this page
11972 resync smatch

Split Close
Expand all
Collapse all
          --- old/usr/src/tools/smatch/src/validation/cast-constant-to-float.c
          +++ new/usr/src/tools/smatch/src/validation/linear/cast-constant-to-float.c
↓ open down ↓ 5 lines elided ↑ open up ↑
   6    6  double f3(void) { return -1.0; }
   7    7  
   8    8  /*
   9    9   * check-name: cast-constant-to-float
  10   10   * check-command: test-linearize -Wno-decl $file
  11   11   *
  12   12   * check-output-start
  13   13  f1:
  14   14  .L0:
  15   15          <entry-point>
  16      -        set.64      %r1 <- -1.000000
       16 +        setfval.64  %r1 <- -1.000000e+00
  17   17          ret.64      %r1
  18   18  
  19   19  
  20   20  f2:
  21   21  .L2:
  22   22          <entry-point>
  23      -        set.64      %r3 <- -1.000000
       23 +        setfval.64  %r3 <- -1.000000e+00
  24   24          ret.64      %r3
  25   25  
  26   26  
  27   27  f3:
  28   28  .L4:
  29   29          <entry-point>
  30      -        set.64      %r5 <- -1.000000
       30 +        setfval.64  %r5 <- -1.000000e+00
  31   31          ret.64      %r5
  32   32  
  33   33  
  34   34   * check-output-end
  35   35   */
    
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX