|
1138 | 1138 | </arg> |
1139 | 1139 | </function> |
1140 | 1140 | <!-- double erf(double x); --> |
| 1141 | + <function name="erf,std::erf"> |
| 1142 | + <use-retval/> |
| 1143 | + <pure/> |
| 1144 | + <noreturn>false</noreturn> |
| 1145 | + <returnValue type="double"/> |
| 1146 | + <leak-ignore/> |
| 1147 | + <arg nr="1"> |
| 1148 | + <not-uninit/> |
| 1149 | + </arg> |
| 1150 | + </function> |
1141 | 1151 | <!-- float erff(float f); --> |
| 1152 | + <function name="erff,std::erff"> |
| 1153 | + <use-retval/> |
| 1154 | + <pure/> |
| 1155 | + <noreturn>false</noreturn> |
| 1156 | + <leak-ignore/> |
| 1157 | + <returnValue type="float"/> |
| 1158 | + <arg nr="1"> |
| 1159 | + <not-uninit/> |
| 1160 | + </arg> |
| 1161 | + </function> |
1142 | 1162 | <!-- long double erfl(long double x); --> |
1143 | | - <function name="erf,std::erf,erff,std::erff,erfl,std::erfl"> |
| 1163 | + <function name="erfl,std::erfl"> |
1144 | 1164 | <use-retval/> |
1145 | 1165 | <pure/> |
1146 | 1166 | <noreturn>false</noreturn> |
| 1167 | + <returnValue type="long double"/> |
1147 | 1168 | <leak-ignore/> |
1148 | 1169 | <arg nr="1"> |
1149 | 1170 | <not-uninit/> |
1150 | 1171 | </arg> |
1151 | 1172 | </function> |
1152 | 1173 | <!-- double erfc(double x); --> |
| 1174 | + <function name="erfc,std::erfc"> |
| 1175 | + <use-retval/> |
| 1176 | + <pure/> |
| 1177 | + <noreturn>false</noreturn> |
| 1178 | + <leak-ignore/> |
| 1179 | + <returnValue type="double"/> |
| 1180 | + <arg nr="1"> |
| 1181 | + <not-uninit/> |
| 1182 | + </arg> |
| 1183 | + </function> |
1153 | 1184 | <!-- float erfcf(float x); --> |
| 1185 | + <function name="erfcf,std::erfcf"> |
| 1186 | + <use-retval/> |
| 1187 | + <pure/> |
| 1188 | + <noreturn>false</noreturn> |
| 1189 | + <leak-ignore/> |
| 1190 | + <returnValue type="float"/> |
| 1191 | + <arg nr="1"> |
| 1192 | + <not-uninit/> |
| 1193 | + </arg> |
| 1194 | + </function> |
1154 | 1195 | <!-- long double erfcl(long double x); --> |
1155 | | - <function name="erfc,std::erfc,erfcf,std::erfcf,erfcl,std::erfcl"> |
| 1196 | + <function name="erfcl,std::erfcl"> |
1156 | 1197 | <use-retval/> |
1157 | 1198 | <pure/> |
1158 | 1199 | <noreturn>false</noreturn> |
1159 | 1200 | <leak-ignore/> |
| 1201 | + <returnValue type="long double"/> |
1160 | 1202 | <arg nr="1"> |
1161 | 1203 | <not-uninit/> |
1162 | 1204 | </arg> |
1163 | 1205 | </function> |
1164 | 1206 | <!-- double carg(double complex z);--> |
| 1207 | + <function name="carg"> |
| 1208 | + <use-retval/> |
| 1209 | + <pure/> |
| 1210 | + <noreturn>false</noreturn> |
| 1211 | + <leak-ignore/> |
| 1212 | + <returnValue type="double"/> |
| 1213 | + <arg nr="1"> |
| 1214 | + <not-uninit/> |
| 1215 | + </arg> |
| 1216 | + </function> |
1165 | 1217 | <!-- float cargf(float complex z);--> |
| 1218 | + <function name="cargf"> |
| 1219 | + <use-retval/> |
| 1220 | + <pure/> |
| 1221 | + <noreturn>false</noreturn> |
| 1222 | + <leak-ignore/> |
| 1223 | + <returnValue type="float"/> |
| 1224 | + <arg nr="1"> |
| 1225 | + <not-uninit/> |
| 1226 | + </arg> |
| 1227 | + </function> |
1166 | 1228 | <!-- long double cargl(long double complex z);--> |
1167 | | - <function name="carg,cargf,cargl"> |
| 1229 | + <function name="cargl"> |
1168 | 1230 | <use-retval/> |
1169 | 1231 | <pure/> |
1170 | 1232 | <noreturn>false</noreturn> |
1171 | 1233 | <leak-ignore/> |
| 1234 | + <returnValue type="long double"/> |
1172 | 1235 | <arg nr="1"> |
1173 | 1236 | <not-uninit/> |
1174 | 1237 | </arg> |
1175 | 1238 | </function> |
1176 | 1239 | <!-- double exp(double x); --> |
| 1240 | + <function name="exp,std::exp"> |
| 1241 | + <use-retval/> |
| 1242 | + <pure/> |
| 1243 | + <noreturn>false</noreturn> |
| 1244 | + <leak-ignore/> |
| 1245 | + <returnValue type="double"/> |
| 1246 | + <arg nr="1"> |
| 1247 | + <not-uninit/> |
| 1248 | + </arg> |
| 1249 | + </function> |
1177 | 1250 | <!-- float expf(float x); --> |
| 1251 | + <function name="expf,std::expf"> |
| 1252 | + <use-retval/> |
| 1253 | + <pure/> |
| 1254 | + <noreturn>false</noreturn> |
| 1255 | + <leak-ignore/> |
| 1256 | + <returnValue type="float"/> |
| 1257 | + <arg nr="1"> |
| 1258 | + <not-uninit/> |
| 1259 | + </arg> |
| 1260 | + </function> |
1178 | 1261 | <!-- long double expl(long double x); --> |
1179 | | - <function name="exp,std::exp,expf,expl"> |
| 1262 | + <function name="expl,std::expl"> |
1180 | 1263 | <use-retval/> |
1181 | 1264 | <pure/> |
1182 | 1265 | <noreturn>false</noreturn> |
1183 | 1266 | <leak-ignore/> |
| 1267 | + <returnValue type="long double"/> |
1184 | 1268 | <arg nr="1"> |
1185 | 1269 | <not-uninit/> |
1186 | 1270 | </arg> |
|
1210 | 1294 | </arg> |
1211 | 1295 | </function> |
1212 | 1296 | <!-- double exp2(double x); --> |
| 1297 | + <function name="exp2,std::exp2"> |
| 1298 | + <use-retval/> |
| 1299 | + <pure/> |
| 1300 | + <noreturn>false</noreturn> |
| 1301 | + <leak-ignore/> |
| 1302 | + <returnValue type="double"/> |
| 1303 | + <arg nr="1"> |
| 1304 | + <not-uninit/> |
| 1305 | + </arg> |
| 1306 | + </function> |
1213 | 1307 | <!-- float exp2f(float x); --> |
| 1308 | + <function name="exp2f,std::exp2f"> |
| 1309 | + <use-retval/> |
| 1310 | + <pure/> |
| 1311 | + <noreturn>false</noreturn> |
| 1312 | + <leak-ignore/> |
| 1313 | + <returnValue type="float"/> |
| 1314 | + <arg nr="1"> |
| 1315 | + <not-uninit/> |
| 1316 | + </arg> |
| 1317 | + </function> |
1214 | 1318 | <!-- long double exp2l(long double x);--> |
1215 | | - <function name="exp2,std::exp2,exp2f,std::exp2f,exp2l,std::exp2l"> |
| 1319 | + <function name="exp2l,std::exp2l"> |
1216 | 1320 | <use-retval/> |
1217 | 1321 | <pure/> |
1218 | 1322 | <noreturn>false</noreturn> |
1219 | 1323 | <leak-ignore/> |
| 1324 | + <returnValue type="long double"/> |
1220 | 1325 | <arg nr="1"> |
1221 | 1326 | <not-uninit/> |
1222 | 1327 | </arg> |
1223 | 1328 | </function> |
1224 | 1329 | <!-- double expm1(double x); --> |
| 1330 | + <function name="expm1,std::expm1"> |
| 1331 | + <use-retval/> |
| 1332 | + <pure/> |
| 1333 | + <noreturn>false</noreturn> |
| 1334 | + <leak-ignore/> |
| 1335 | + <returnValue type="double"/> |
| 1336 | + <arg nr="1"> |
| 1337 | + <not-uninit/> |
| 1338 | + </arg> |
| 1339 | + </function> |
1225 | 1340 | <!-- float expm1f(float x); --> |
| 1341 | + <function name="expm1f,std::expm1f"> |
| 1342 | + <use-retval/> |
| 1343 | + <pure/> |
| 1344 | + <noreturn>false</noreturn> |
| 1345 | + <leak-ignore/> |
| 1346 | + <returnValue type="float"/> |
| 1347 | + <arg nr="1"> |
| 1348 | + <not-uninit/> |
| 1349 | + </arg> |
| 1350 | + </function> |
1226 | 1351 | <!-- long double expm1l(long double x); --> |
1227 | | - <function name="expm1,std::expm1,expm1f,std::expm1f,expm1l,std::expm1l"> |
| 1352 | + <function name="expm1l,std::expm1l"> |
1228 | 1353 | <use-retval/> |
1229 | 1354 | <pure/> |
1230 | 1355 | <noreturn>false</noreturn> |
1231 | 1356 | <leak-ignore/> |
| 1357 | + <returnValue type="long double"/> |
1232 | 1358 | <arg nr="1"> |
1233 | 1359 | <not-uninit/> |
1234 | 1360 | </arg> |
|
1241 | 1367 | </arg> |
1242 | 1368 | </function> |
1243 | 1369 | <!-- double fabs(double x); --> |
| 1370 | + <function name="fabs,std::fabs"> |
| 1371 | + <use-retval/> |
| 1372 | + <pure/> |
| 1373 | + <noreturn>false</noreturn> |
| 1374 | + <leak-ignore/> |
| 1375 | + <returnValue type="double"/> |
| 1376 | + <arg nr="1"> |
| 1377 | + <not-uninit/> |
| 1378 | + </arg> |
| 1379 | + </function> |
1244 | 1380 | <!-- float fabsf(float x); --> |
| 1381 | + <function name="fabsf,std::fabsf"> |
| 1382 | + <use-retval/> |
| 1383 | + <pure/> |
| 1384 | + <noreturn>false</noreturn> |
| 1385 | + <leak-ignore/> |
| 1386 | + <returnValue type="float"/> |
| 1387 | + <arg nr="1"> |
| 1388 | + <not-uninit/> |
| 1389 | + </arg> |
| 1390 | + </function> |
1245 | 1391 | <!-- long double fabsl(long double x); --> |
1246 | | - <function name="fabs,std::fabs,fabsf,fabsl"> |
| 1392 | + <function name="fabsl,std::fabsl"> |
1247 | 1393 | <use-retval/> |
1248 | 1394 | <pure/> |
1249 | 1395 | <noreturn>false</noreturn> |
1250 | 1396 | <leak-ignore/> |
| 1397 | + <returnValue type="long double"/> |
1251 | 1398 | <arg nr="1"> |
1252 | 1399 | <not-uninit/> |
1253 | 1400 | </arg> |
1254 | 1401 | </function> |
1255 | 1402 | <!-- double fdim(double x, double y); --> |
| 1403 | + <function name="fdim,std::fdim"> |
| 1404 | + <use-retval/> |
| 1405 | + <pure/> |
| 1406 | + <noreturn>false</noreturn> |
| 1407 | + <leak-ignore/> |
| 1408 | + <returnValue type="double"/> |
| 1409 | + <arg nr="1"> |
| 1410 | + <not-uninit/> |
| 1411 | + </arg> |
| 1412 | + <arg nr="2"> |
| 1413 | + <not-uninit/> |
| 1414 | + </arg> |
| 1415 | + </function> |
1256 | 1416 | <!-- float fdimf(float x, float y); --> |
| 1417 | + <function name="fdimf,std::fdimf"> |
| 1418 | + <use-retval/> |
| 1419 | + <pure/> |
| 1420 | + <noreturn>false</noreturn> |
| 1421 | + <leak-ignore/> |
| 1422 | + <returnValue type="float"/> |
| 1423 | + <arg nr="1"> |
| 1424 | + <not-uninit/> |
| 1425 | + </arg> |
| 1426 | + <arg nr="2"> |
| 1427 | + <not-uninit/> |
| 1428 | + </arg> |
| 1429 | + </function> |
1257 | 1430 | <!-- long double fdiml(long double x, long double y); --> |
1258 | | - <function name="fdim,std::fdim,fdimf,std::fdimf,fdiml,std::fdiml"> |
| 1431 | + <function name="fdiml,std::fdiml"> |
1259 | 1432 | <use-retval/> |
1260 | 1433 | <pure/> |
1261 | 1434 | <noreturn>false</noreturn> |
1262 | 1435 | <leak-ignore/> |
| 1436 | + <returnValue type="long double"/> |
1263 | 1437 | <arg nr="1"> |
1264 | 1438 | <not-uninit/> |
1265 | 1439 | </arg> |
|
1308 | 1482 | </arg> |
1309 | 1483 | </function> |
1310 | 1484 | <!-- int fgetc(FILE *stream); --> |
1311 | | - <!-- wint_t fgetwc(FILE * stream); --> |
1312 | 1485 | <!-- int getc(FILE *stream); --> |
| 1486 | + <function name="fgetc,std::fgetc,getc,std::getc"> |
| 1487 | + <noreturn>false</noreturn> |
| 1488 | + <leak-ignore/> |
| 1489 | + <returnValue type="int"/> |
| 1490 | + <arg nr="1"> |
| 1491 | + <not-null/> |
| 1492 | + <not-uninit/> |
| 1493 | + </arg> |
| 1494 | + </function> |
| 1495 | + <!-- wint_t fgetwc(FILE * stream); --> |
1313 | 1496 | <!-- wint_t getwc(FILE* stream); --> |
1314 | | - <function name="fgetc,std::fgetc,fgetwc,std::fgetwc,getc,std::getc,getwc,std::getwc"> |
| 1497 | + <function name="fgetwc,std::fgetwc,getc,getwc,std::getwc"> |
1315 | 1498 | <noreturn>false</noreturn> |
| 1499 | + <returnValue type="wint_t"/> |
1316 | 1500 | <leak-ignore/> |
1317 | 1501 | <arg nr="1"> |
1318 | 1502 | <not-null/> |
|
1333 | 1517 | </arg> |
1334 | 1518 | </function> |
1335 | 1519 | <!-- double floor(double x); --> |
| 1520 | + <function name="floor,std::floor"> |
| 1521 | + <use-retval/> |
| 1522 | + <pure/> |
| 1523 | + <noreturn>false</noreturn> |
| 1524 | + <leak-ignore/> |
| 1525 | + <returnValue type="double"/> |
| 1526 | + <arg nr="1"> |
| 1527 | + <not-uninit/> |
| 1528 | + </arg> |
| 1529 | + </function> |
1336 | 1530 | <!-- float floorf(float x); --> |
| 1531 | + <function name="floorf,std::floorf"> |
| 1532 | + <use-retval/> |
| 1533 | + <pure/> |
| 1534 | + <noreturn>false</noreturn> |
| 1535 | + <leak-ignore/> |
| 1536 | + <returnValue type="float"/> |
| 1537 | + <arg nr="1"> |
| 1538 | + <not-uninit/> |
| 1539 | + </arg> |
| 1540 | + </function> |
1337 | 1541 | <!-- long double floorl(long double x); --> |
1338 | | - <function name="floor,std::floor,floorf,floorl"> |
| 1542 | + <function name="floorl,std::floorl"> |
1339 | 1543 | <use-retval/> |
1340 | 1544 | <pure/> |
1341 | 1545 | <noreturn>false</noreturn> |
1342 | 1546 | <leak-ignore/> |
| 1547 | + <returnValue type="long double"/> |
1343 | 1548 | <arg nr="1"> |
1344 | 1549 | <not-uninit/> |
1345 | 1550 | </arg> |
|
0 commit comments