|
1550 | 1550 | </arg> |
1551 | 1551 | </function> |
1552 | 1552 | <!-- double fma(double x, double y, double z); --> |
| 1553 | + <function name="fma,std::fma"> |
| 1554 | + <use-retval/> |
| 1555 | + <pure/> |
| 1556 | + <noreturn>false</noreturn> |
| 1557 | + <leak-ignore/> |
| 1558 | + <returnValue type="double"/> |
| 1559 | + <arg nr="1"> |
| 1560 | + <not-uninit/> |
| 1561 | + </arg> |
| 1562 | + <arg nr="2"> |
| 1563 | + <not-uninit/> |
| 1564 | + </arg> |
| 1565 | + <arg nr="3"> |
| 1566 | + <not-uninit/> |
| 1567 | + </arg> |
| 1568 | + </function> |
1553 | 1569 | <!-- float fmaf(float x, float y, float z); --> |
| 1570 | + <function name="fmaf,std::fmaf"> |
| 1571 | + <use-retval/> |
| 1572 | + <pure/> |
| 1573 | + <noreturn>false</noreturn> |
| 1574 | + <leak-ignore/> |
| 1575 | + <returnValue type="float"/> |
| 1576 | + <arg nr="1"> |
| 1577 | + <not-uninit/> |
| 1578 | + </arg> |
| 1579 | + <arg nr="2"> |
| 1580 | + <not-uninit/> |
| 1581 | + </arg> |
| 1582 | + <arg nr="3"> |
| 1583 | + <not-uninit/> |
| 1584 | + </arg> |
| 1585 | + </function> |
1554 | 1586 | <!-- long double fmal(long double x, long double y, long double z); --> |
1555 | | - <function name="fma,std::fma,fmaf,std::fmaf,fmal,std::fmal"> |
| 1587 | + <function name="fmal,std::fmal"> |
1556 | 1588 | <use-retval/> |
1557 | 1589 | <pure/> |
1558 | 1590 | <noreturn>false</noreturn> |
1559 | 1591 | <leak-ignore/> |
| 1592 | + <returnValue type="long double"/> |
1560 | 1593 | <arg nr="1"> |
1561 | 1594 | <not-uninit/> |
1562 | 1595 | </arg> |
|
1568 | 1601 | </arg> |
1569 | 1602 | </function> |
1570 | 1603 | <!-- double fmax(double x, double y); --> |
| 1604 | + <function name="fmax,std::fmax"> |
| 1605 | + <use-retval/> |
| 1606 | + <pure/> |
| 1607 | + <noreturn>false</noreturn> |
| 1608 | + <leak-ignore/> |
| 1609 | + <returnValue type="double"/> |
| 1610 | + <arg nr="1"> |
| 1611 | + <not-uninit/> |
| 1612 | + </arg> |
| 1613 | + <arg nr="2"> |
| 1614 | + <not-uninit/> |
| 1615 | + </arg> |
| 1616 | + </function> |
1571 | 1617 | <!-- float fmaxf(float x, float y); --> |
| 1618 | + <function name="fmaxf,std::fmaxf"> |
| 1619 | + <use-retval/> |
| 1620 | + <pure/> |
| 1621 | + <noreturn>false</noreturn> |
| 1622 | + <leak-ignore/> |
| 1623 | + <returnValue type="float"/> |
| 1624 | + <arg nr="1"> |
| 1625 | + <not-uninit/> |
| 1626 | + </arg> |
| 1627 | + <arg nr="2"> |
| 1628 | + <not-uninit/> |
| 1629 | + </arg> |
| 1630 | + </function> |
1572 | 1631 | <!-- long double fmaxl(long double x, long double y); --> |
1573 | | - <function name="fmax,std::fmax,fmaxf,std::fmaxf,fmaxl,std::fmaxl"> |
| 1632 | + <function name="fmaxl,std::fmaxl"> |
1574 | 1633 | <use-retval/> |
1575 | 1634 | <pure/> |
1576 | 1635 | <noreturn>false</noreturn> |
1577 | 1636 | <leak-ignore/> |
| 1637 | + <returnValue type="long double"/> |
1578 | 1638 | <arg nr="1"> |
1579 | 1639 | <not-uninit/> |
1580 | 1640 | </arg> |
|
1583 | 1643 | </arg> |
1584 | 1644 | </function> |
1585 | 1645 | <!-- double fmin(double x, double y); --> |
| 1646 | + <function name="fmin,std::fmin"> |
| 1647 | + <use-retval/> |
| 1648 | + <pure/> |
| 1649 | + <noreturn>false</noreturn> |
| 1650 | + <leak-ignore/> |
| 1651 | + <returnValue type="double"/> |
| 1652 | + <arg nr="1"> |
| 1653 | + <not-uninit/> |
| 1654 | + </arg> |
| 1655 | + <arg nr="2"> |
| 1656 | + <not-uninit/> |
| 1657 | + </arg> |
| 1658 | + </function> |
1586 | 1659 | <!-- float fminf(float x, float y); --> |
| 1660 | + <function name="fminf,std::fminf"> |
| 1661 | + <use-retval/> |
| 1662 | + <pure/> |
| 1663 | + <noreturn>false</noreturn> |
| 1664 | + <leak-ignore/> |
| 1665 | + <returnValue type="float"/> |
| 1666 | + <arg nr="1"> |
| 1667 | + <not-uninit/> |
| 1668 | + </arg> |
| 1669 | + <arg nr="2"> |
| 1670 | + <not-uninit/> |
| 1671 | + </arg> |
| 1672 | + </function> |
1587 | 1673 | <!-- long double fminl(long double x, long double y); --> |
1588 | | - <function name="fmin,std::fmin,fminf,std::fminf,fminl,std::fminl"> |
| 1674 | + <function name="fminl,std::fminl"> |
1589 | 1675 | <use-retval/> |
1590 | 1676 | <pure/> |
1591 | 1677 | <noreturn>false</noreturn> |
1592 | 1678 | <leak-ignore/> |
| 1679 | + <returnValue type="long double"/> |
1593 | 1680 | <arg nr="1"> |
1594 | 1681 | <not-uninit/> |
1595 | 1682 | </arg> |
|
1598 | 1685 | </arg> |
1599 | 1686 | </function> |
1600 | 1687 | <!-- double fmod(double x, double y); --> |
| 1688 | + <function name="fmod,std::fmod"> |
| 1689 | + <use-retval/> |
| 1690 | + <pure/> |
| 1691 | + <noreturn>false</noreturn> |
| 1692 | + <leak-ignore/> |
| 1693 | + <returnValue type="double"/> |
| 1694 | + <arg nr="1"> |
| 1695 | + <not-uninit/> |
| 1696 | + </arg> |
| 1697 | + <arg nr="2"> |
| 1698 | + <not-uninit/> |
| 1699 | + </arg> |
| 1700 | + </function> |
1601 | 1701 | <!-- float fmodf(float x, float y); --> |
| 1702 | + <function name="fmodf,std::fmodf"> |
| 1703 | + <use-retval/> |
| 1704 | + <pure/> |
| 1705 | + <noreturn>false</noreturn> |
| 1706 | + <leak-ignore/> |
| 1707 | + <returnValue type="float"/> |
| 1708 | + <arg nr="1"> |
| 1709 | + <not-uninit/> |
| 1710 | + </arg> |
| 1711 | + <arg nr="2"> |
| 1712 | + <not-uninit/> |
| 1713 | + </arg> |
| 1714 | + </function> |
1602 | 1715 | <!-- long double fmodl(long double x, long double y); --> |
1603 | | - <function name="fmod,std::fmod,fmodf,fmodl"> |
| 1716 | + <function name="fmodl,std::fmodl"> |
1604 | 1717 | <use-retval/> |
1605 | 1718 | <pure/> |
1606 | 1719 | <noreturn>false</noreturn> |
1607 | 1720 | <leak-ignore/> |
| 1721 | + <returnValue type="long double"/> |
1608 | 1722 | <arg nr="1"> |
1609 | 1723 | <not-uninit/> |
1610 | 1724 | </arg> |
|
1616 | 1730 | <function name="fopen,std::fopen"> |
1617 | 1731 | <use-retval/> |
1618 | 1732 | <noreturn>false</noreturn> |
| 1733 | + <returnValue type="FILE *"/> |
1619 | 1734 | <arg nr="1"> |
1620 | 1735 | <not-null/> |
1621 | 1736 | <not-uninit/> |
|
1779 | 1894 | <function name="freopen,std::freopen"> |
1780 | 1895 | <noreturn>false</noreturn> |
1781 | 1896 | <use-retval/> |
| 1897 | + <returnValue type="FILE *"/> |
1782 | 1898 | <arg nr="1"> |
1783 | 1899 | <not-uninit/> |
1784 | 1900 | <strz/> |
|
1813 | 1929 | </arg> |
1814 | 1930 | </function> |
1815 | 1931 | <!-- double frexp(double x, int *exp); --> |
| 1932 | + <function name="frexp,std::frexp"> |
| 1933 | + <noreturn>false</noreturn> |
| 1934 | + <leak-ignore/> |
| 1935 | + <returnValue type="double"/> |
| 1936 | + <arg nr="1"> |
| 1937 | + <not-uninit/> |
| 1938 | + </arg> |
| 1939 | + <arg nr="2"> |
| 1940 | + <not-null/> |
| 1941 | + </arg> |
| 1942 | + </function> |
1816 | 1943 | <!-- float frexpf(float x, int *exp); --> |
| 1944 | + <function name="frexpf,std::frexpf"> |
| 1945 | + <noreturn>false</noreturn> |
| 1946 | + <leak-ignore/> |
| 1947 | + <returnValue type="float"/> |
| 1948 | + <arg nr="1"> |
| 1949 | + <not-uninit/> |
| 1950 | + </arg> |
| 1951 | + <arg nr="2"> |
| 1952 | + <not-null/> |
| 1953 | + </arg> |
| 1954 | + </function> |
1817 | 1955 | <!-- long double frexpl(long double x, int *exp); --> |
1818 | | - <function name="frexp,std::frexp,frexpf,frexpl"> |
| 1956 | + <function name="frexpl,std::frexpl"> |
1819 | 1957 | <noreturn>false</noreturn> |
1820 | 1958 | <leak-ignore/> |
| 1959 | + <returnValue type="long double"/> |
1821 | 1960 | <arg nr="1"> |
1822 | 1961 | <not-uninit/> |
1823 | 1962 | </arg> |
|
0 commit comments