@ @ assigns \nothing; @*/
| 497 | @ assigns \nothing; |
| 498 | @*/ |
| 499 | static mode_t mode_xlate(unsigned int lmode) |
| 500 | { |
| 501 | unsigned int i; |
| 502 | mode_t mode = 0; |
| 503 | /*@ |
| 504 | @ loop unroll 20; |
| 505 | @ loop assigns i, mode; |
| 506 | @*/ |
| 507 | for (i=0; mode_table[i].lmask; i++) |
| 508 | { |
| 509 | if (lmode & mode_table[i].lmask) |
| 510 | mode |= mode_table[i].mask; |
| 511 | } |
| 512 | return mode; |
| 513 | } |
| 514 | |
| 515 | /** |
| 516 | * set_mode - Set the file's date and time |