Print this page
11972 resync smatch

Split Close
Expand all
Collapse all
          --- old/usr/src/tools/smatch/src/validation/cast-constants.c
          +++ new/usr/src/tools/smatch/src/validation/linear/cast-constants.c
↓ open down ↓ 45 lines elided ↑ open up ↑
  46   46  static float double_2_float(void) { return (float)1.123L; }
  47   47  static double int_2_double(void) { return (double)123; }
  48   48  static double uint_2_double(void) { return (double)123U; }
  49   49  static double long_2_double(void) { return (double)123L; }
  50   50  static double ulong_2_double(void) { return (double)123UL; }
  51   51  static double float_2_double(void) { return (double)1.123F; }
  52   52  
  53   53  /*
  54   54   * check-name: cast-constants.c
  55   55   * check-command: test-linearize -m64 $file
       56 + * check-assert: sizeof(void *) == 8 && sizeof(long) == 8 && sizeof(double) == 8
  56   57   *
  57   58   * check-output-start
  58   59  uint_2_int:
  59   60  .L0:
  60   61          <entry-point>
  61   62          ret.32      $123
  62   63  
  63   64  
  64   65  long_2_int:
  65   66  .L2:
↓ open down ↓ 213 lines elided ↑ open up ↑
 279  280  
 280  281  vptr_2_iptr:
 281  282  .L74:
 282  283          <entry-point>
 283  284          ret.64      $123
 284  285  
 285  286  
 286  287  int_2_float:
 287  288  .L76:
 288  289          <entry-point>
 289      -        set.32      %r39 <- 123.000000
      290 +        setfval.32  %r39 <- 1.230000e+02
 290  291          ret.32      %r39
 291  292  
 292  293  
 293  294  uint_2_float:
 294  295  .L78:
 295  296          <entry-point>
 296      -        set.32      %r41 <- 123.000000
      297 +        setfval.32  %r41 <- 1.230000e+02
 297  298          ret.32      %r41
 298  299  
 299  300  
 300  301  long_2_float:
 301  302  .L80:
 302  303          <entry-point>
 303      -        set.32      %r43 <- 123.000000
      304 +        setfval.32  %r43 <- 1.230000e+02
 304  305          ret.32      %r43
 305  306  
 306  307  
 307  308  ulong_2_float:
 308  309  .L82:
 309  310          <entry-point>
 310      -        set.32      %r45 <- 123.000000
      311 +        setfval.32  %r45 <- 1.230000e+02
 311  312          ret.32      %r45
 312  313  
 313  314  
 314  315  double_2_float:
 315  316  .L84:
 316  317          <entry-point>
 317      -        set.32      %r47 <- 1.123000
      318 +        setfval.32  %r47 <- 1.123000e+00
 318  319          ret.32      %r47
 319  320  
 320  321  
 321  322  int_2_double:
 322  323  .L86:
 323  324          <entry-point>
 324      -        set.64      %r49 <- 123.000000
      325 +        setfval.64  %r49 <- 1.230000e+02
 325  326          ret.64      %r49
 326  327  
 327  328  
 328  329  uint_2_double:
 329  330  .L88:
 330  331          <entry-point>
 331      -        set.64      %r51 <- 123.000000
      332 +        setfval.64  %r51 <- 1.230000e+02
 332  333          ret.64      %r51
 333  334  
 334  335  
 335  336  long_2_double:
 336  337  .L90:
 337  338          <entry-point>
 338      -        set.64      %r53 <- 123.000000
      339 +        setfval.64  %r53 <- 1.230000e+02
 339  340          ret.64      %r53
 340  341  
 341  342  
 342  343  ulong_2_double:
 343  344  .L92:
 344  345          <entry-point>
 345      -        set.64      %r55 <- 123.000000
      346 +        setfval.64  %r55 <- 1.230000e+02
 346  347          ret.64      %r55
 347  348  
 348  349  
 349  350  float_2_double:
 350  351  .L94:
 351  352          <entry-point>
 352      -        set.64      %r57 <- 1.123000
      353 +        setfval.64  %r57 <- 1.123000e+00
 353  354          ret.64      %r57
 354  355  
 355  356  
 356  357   * check-output-end
 357  358   */
    
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX