{"id":32660,"date":"2019-10-31T21:48:15","date_gmt":"2019-10-31T18:48:15","guid":{"rendered":"https:\/\/prohoster.info\/blog\/nahodim-bagi-v-llvm-8-s-pomoshhyu-analizatora-pvs-studio\/"},"modified":"2019-10-31T21:48:15","modified_gmt":"2019-10-31T18:48:15","slug":"nahodim-bagi-v-llvm-8-s-pomoshhyu-analizatora-pvs-studio","status":"publish","type":"post","link":"https:\/\/prohoster.info\/de\/blog\/administrirovanie\/nahodim-bagi-v-llvm-8-s-pomoshhyu-analizatora-pvs-studio","title":{"rendered":"\ufeffWir finden Fehler in LLVM 8 mit dem PVS-Studio-Analyzer","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

\"\ufeff\u041d\u0430\u0445\u043e\u0434\u0438\u043c
\n\u041f\u0440\u043e\u0448\u043b\u043e \u0431\u043e\u043b\u0435\u0435 \u0434\u0432\u0443\u0445 \u043b\u0435\u0442 \u0441 \u043c\u043e\u043c\u0435\u043d\u0442\u0430 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0435\u0439 \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0438 \u043a\u043e\u0434\u0430 \u043f\u0440\u043e\u0435\u043a\u0442\u0430 LLVM \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u043d\u0430\u0448\u0435\u0433\u043e \u0430\u043d\u0430\u043b\u0438\u0437\u0430\u0442\u043e\u0440\u0430 PVS-Studio. \u0414\u0430\u0432\u0430\u0439\u0442\u0435 \u0443\u0431\u0435\u0434\u0438\u043c\u0441\u044f, \u0447\u0442\u043e \u0430\u043d\u0430\u043b\u0438\u0437\u0430\u0442\u043e\u0440 PVS-Studio \u043f\u043e-\u043f\u0440\u0435\u0436\u043d\u0435\u043c\u0443 \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u043b\u0438\u0434\u0438\u0440\u0443\u044e\u0449\u0438\u043c \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442\u043e\u043c \u043f\u043e \u0432\u044b\u044f\u0432\u043b\u0435\u043d\u0438\u044e \u043e\u0448\u0438\u0431\u043e\u043a \u0438 \u043f\u043e\u0442\u0435\u043d\u0446\u0438\u0430\u043b\u044c\u043d\u044b\u0445 \u0443\u044f\u0437\u0432\u0438\u043c\u043e\u0441\u0442\u0435\u0439. \u0414\u043b\u044f \u044d\u0442\u043e\u0433\u043e \u043f\u0440\u043e\u0432\u0435\u0440\u0438\u043c \u0438 \u043d\u0430\u0439\u0434\u0451\u043c \u043d\u043e\u0432\u044b\u0435 \u043e\u0448\u0438\u0431\u043a\u0438 \u0432 \u0440\u0435\u043b\u0438\u0437\u0435 LLVM 8.0.0.
\n<\/a><\/noindex><\/p>\n

\u0421\u0442\u0430\u0442\u044c\u044f, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0434\u043e\u043b\u0436\u043d\u0430 \u0431\u044b\u0442\u044c \u043d\u0430\u043f\u0438\u0441\u0430\u043d\u0430<\/h2>\n

\n\u0415\u0441\u043b\u0438 \u0447\u0435\u0441\u0442\u043d\u043e, \u043c\u043d\u0435 \u043d\u0435 \u0445\u043e\u0442\u0435\u043b\u043e\u0441\u044c \u043f\u0438\u0441\u0430\u0442\u044c \u044d\u0442\u0443 \u0441\u0442\u0430\u0442\u044c\u044e. \u041d\u0435\u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u043e \u043f\u0438\u0441\u0430\u0442\u044c \u043f\u0440\u043e \u043f\u0440\u043e\u0435\u043a\u0442, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043c\u044b \u0443\u0436\u0435 \u043d\u0435\u043e\u0434\u043d\u043e\u043a\u0440\u0430\u0442\u043d\u043e \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u043b\u0438 (1<\/a><\/noindex>, 2<\/a><\/noindex>, 3<\/a><\/noindex>). \u041b\u0443\u0447\u0448\u0435 \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u043f\u0440\u043e \u0447\u0442\u043e-\u0442\u043e \u043d\u043e\u0432\u043e\u0435, \u043d\u043e \u0443 \u043c\u0435\u043d\u044f \u043d\u0435\u0442 \u0432\u044b\u0431\u043e\u0440\u0430.<\/p>\n

\u041a\u0430\u0436\u0434\u044b\u0439 \u0440\u0430\u0437, \u043a\u043e\u0433\u0434\u0430 \u0432\u044b\u0445\u043e\u0434\u0438\u0442 \u043d\u043e\u0432\u0430\u044f \u0432\u0435\u0440\u0441\u0438\u044f LLVM \u0438\u043b\u0438 \u043e\u0431\u043d\u043e\u0432\u043b\u044f\u0435\u0442\u0441\u044f Clang Static Analyzer<\/a><\/noindex>, \u0443 \u043d\u0430\u0441 \u0432 \u043f\u043e\u0447\u0442\u0435 \u043f\u043e\u044f\u0432\u043b\u044f\u044e\u0442\u0441\u044f \u0432\u043e\u043f\u0440\u043e\u0441\u044b \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0433\u043e \u0442\u0438\u043f\u0430:<\/p>\n

\u0421\u043c\u043e\u0442\u0440\u0438\u0442\u0435, \u043d\u043e\u0432\u0430\u044f \u0432\u0435\u0440\u0441\u0438\u044f Clang Static Analyzer \u043d\u0430\u0443\u0447\u0438\u043b\u0430\u0441\u044c \u043d\u0430\u0445\u043e\u0434\u0438\u0442\u044c \u043d\u043e\u0432\u044b\u0435 \u043e\u0448\u0438\u0431\u043a\u0438! \u041c\u043d\u0435 \u043a\u0430\u0436\u0435\u0442\u0441\u044f, \u0430\u043a\u0442\u0443\u0430\u043b\u044c\u043d\u043e\u0441\u0442\u044c \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c PVS-Studio \u0443\u043c\u0435\u043d\u044c\u0448\u0430\u0435\u0442\u0441\u044f. Clang \u043d\u0430\u0445\u043e\u0434\u0438\u0442 \u0431\u043e\u043b\u044c\u0448\u0435 \u043e\u0448\u0438\u0431\u043e\u043a, \u0447\u0435\u043c \u0440\u0430\u043d\u044c\u0448\u0435 \u0438 \u0434\u043e\u0433\u043e\u043d\u044f\u0435\u0442 \u043f\u043e \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e\u0441\u0442\u044f\u043c PVS-Studio. \u0427\u0442\u043e \u0432\u044b \u043f\u0440\u043e \u044d\u0442\u043e \u0434\u0443\u043c\u0430\u0435\u0442\u0435?<\/i><\/p>\n

\u041d\u0430 \u044d\u0442\u043e \u043c\u043d\u0435 \u0432\u0441\u0435\u0433\u0434\u0430 \u0445\u043e\u0447\u0435\u0442\u0441\u044f \u043e\u0442\u0432\u0435\u0442\u0438\u0442\u044c \u0447\u0442\u043e-\u0442\u043e \u0432 \u0434\u0443\u0445\u0435:<\/p>\n

\u041c\u044b \u0442\u043e\u0436\u0435 \u043d\u0435 \u0441\u0438\u0434\u0438\u043c \u0431\u0435\u0437 \u0434\u0435\u043b\u0430!<\/b> \u041c\u044b \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0435\u043d\u043d\u043e \u0443\u043b\u0443\u0447\u0448\u0438\u043b\u0438 \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e\u0441\u0442\u0438 \u0430\u043d\u0430\u043b\u0438\u0437\u0430\u0442\u043e\u0440\u0430 PVS-Studio. \u0422\u0430\u043a \u0447\u0442\u043e \u043d\u0435 \u0432\u043e\u043b\u043d\u0443\u0439\u0442\u0435\u0441\u044c, \u043c\u044b \u043f\u0440\u043e\u0434\u043e\u043b\u0436\u0430\u0435\u043c \u043b\u0438\u0434\u0438\u0440\u043e\u0432\u0430\u0442\u044c, \u043a\u0430\u043a \u0438 \u0440\u0430\u043d\u044c\u0448\u0435.<\/p>\n

\u041a \u0441\u043e\u0436\u0430\u043b\u0435\u043d\u0438\u044e, \u044d\u0442\u043e \u043f\u043b\u043e\u0445\u043e\u0439 \u043e\u0442\u0432\u0435\u0442. \u0412 \u043d\u0451\u043c \u043d\u0435\u0442 proof-\u043e\u0432. \u0418 \u0438\u043c\u0435\u043d\u043d\u043e \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u0441\u0435\u0439\u0447\u0430\u0441 \u044f \u043f\u0438\u0448\u0443 \u044d\u0442\u0443 \u0441\u0442\u0430\u0442\u044c\u044e. \u0418\u0442\u0430\u043a, \u043f\u0440\u043e\u0435\u043a\u0442 LLVM \u0432 \u043e\u0447\u0435\u0440\u0435\u0434\u043d\u043e\u0439 \u0440\u0430\u0437 \u043f\u0440\u043e\u0432\u0435\u0440\u0435\u043d \u0438 \u0432 \u043d\u0451\u043c \u043d\u0430\u0439\u0434\u0435\u043d\u044b \u0440\u0430\u0437\u043d\u043e\u043e\u0431\u0440\u0430\u0437\u043d\u0435\u0439\u0448\u0438\u0435 \u043e\u0448\u0438\u0431\u043a\u0438. \u0422\u0435, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043c\u043d\u0435 \u043f\u043e\u043a\u0430\u0437\u0430\u043b\u0438\u0441\u044c \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u044b\u043c\u0438, \u044f \u0441\u0435\u0439\u0447\u0430\u0441 \u043f\u0440\u043e\u0434\u0435\u043c\u043e\u043d\u0441\u0442\u0440\u0438\u0440\u0443\u044e. \u042d\u0442\u0438 \u043e\u0448\u0438\u0431\u043a\u0438 \u043d\u0435 \u043c\u043e\u0436\u0435\u0442 \u043d\u0430\u0439\u0442\u0438 Clang Static Analyzer (\u0438\u043b\u0438 \u044d\u0442\u043e \u043a\u0440\u0430\u0439\u043d\u0435 \u043d\u0435\u0443\u0434\u043e\u0431\u043d\u043e \u0434\u0435\u043b\u0430\u0442\u044c \u0441 \u0435\u0433\u043e \u043f\u043e\u043c\u043e\u0449\u044c\u044e). \u0410 \u043c\u044b \u043c\u043e\u0436\u0435\u043c. \u041f\u0440\u0438\u0447\u0451\u043c \u044f \u043d\u0430\u0448\u0435\u043b \u0438 \u0432\u044b\u043f\u0438\u0441\u0430\u043b \u0432\u0441\u0435 \u044d\u0442\u0438 \u043e\u0448\u0438\u0431\u043a\u0438 \u0437\u0430 \u043e\u0434\u0438\u043d \u0432\u0435\u0447\u0435\u0440.<\/p>\n

\u0410 \u0432\u043e\u0442 \u043d\u0430\u043f\u0438\u0441\u0430\u043d\u0438\u0435 \u0441\u0442\u0430\u0442\u044c\u0438 \u0437\u0430\u0442\u044f\u043d\u0443\u043b\u043e\u0441\u044c \u043d\u0430 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u043d\u0435\u0434\u0435\u043b\u044c. \u041d\u0438\u043a\u0430\u043a \u043d\u0435 \u043c\u043e\u0433 \u0441\u0435\u0431\u044f \u0437\u0430\u0441\u0442\u0430\u0432\u0438\u0442\u044c \u0432\u0441\u0451 \u044d\u0442\u043e \u043e\u0444\u043e\u0440\u043c\u0438\u0442\u044c \u0432 \u0432\u0438\u0434\u0435 \u0442\u0435\u043a\u0441\u0442\u0430 :).<\/p>\n

\u041a\u0441\u0442\u0430\u0442\u0438, \u0435\u0441\u043b\u0438 \u0432\u0430\u043c \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u043e, \u043a\u0430\u043a\u0438\u0435 \u0442\u0435\u0445\u043d\u043e\u043b\u043e\u0433\u0438\u0438 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044e\u0442\u0441\u044f \u0432 \u0430\u043d\u0430\u043b\u0438\u0437\u0430\u0442\u043e\u0440\u0435 PVS-Studio \u0434\u043b\u044f \u0432\u044b\u044f\u0432\u043b\u0435\u043d\u0438\u044f \u043e\u0448\u0438\u0431\u043e\u043a \u0438 \u043f\u043e\u0442\u0435\u043d\u0446\u0438\u0430\u043b\u044c\u043d\u044b\u0445 \u0443\u044f\u0437\u0432\u0438\u043c\u043e\u0441\u0442\u0435\u0439, \u0442\u043e \u044f \u043f\u0440\u0435\u0434\u043b\u0430\u0433\u0430\u044e \u043f\u043e\u0437\u043d\u0430\u043a\u043e\u043c\u0438\u0442\u044c\u0441\u044f \u0441 \u044d\u0442\u043e\u0439 \u0437\u0430\u043c\u0435\u0442\u043a\u043e\u0439<\/a><\/noindex>.<\/p>\n

\u041d\u043e\u0432\u044b\u0435 \u0438 \u0441\u0442\u0430\u0440\u044b\u0435 \u0434\u0438\u0430\u0433\u043d\u043e\u0441\u0442\u0438\u043a\u0438<\/h2>\n

\n\u041a\u0430\u043a \u0443\u0436\u0435 \u0431\u044b\u043b\u043e \u043e\u0442\u043c\u0435\u0447\u0435\u043d\u043e, \u043e\u043a\u043e\u043b\u043e \u0434\u0432\u0443\u0445 \u043b\u0435\u0442 \u043d\u0430\u0437\u0430\u0434 \u043f\u0440\u043e\u0435\u043a\u0442 LLVM \u0431\u044b\u043b \u0432 \u043e\u0447\u0435\u0440\u0435\u0434\u043d\u043e\u0439 \u0440\u0430\u0437 \u043f\u0440\u043e\u0432\u0435\u0440\u0435\u043d, \u0430 \u043d\u0430\u0439\u0434\u0435\u043d\u043d\u044b\u0435 \u043e\u0448\u0438\u0431\u043a\u0438 \u0438\u0441\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u044b. \u0422\u0435\u043f\u0435\u0440\u044c \u0432 \u044d\u0442\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0435 \u0431\u0443\u0434\u0435\u0442 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0430 \u043d\u043e\u0432\u0430\u044f \u043f\u043e\u0440\u0446\u0438\u044f \u043e\u0448\u0438\u0431\u043e\u043a. \u041f\u043e\u0447\u0435\u043c\u0443 \u0431\u044b\u043b\u0438 \u043d\u0430\u0439\u0434\u0435\u043d\u044b \u043d\u043e\u0432\u044b\u0435 \u043e\u0448\u0438\u0431\u043a\u0438? \u041d\u0430 \u044d\u0442\u043e \u0435\u0441\u0442\u044c 3 \u043f\u0440\u0438\u0447\u0438\u043d\u044b:<\/p>\n

    \n
  1. \u041f\u0440\u043e\u0435\u043a\u0442 LLVM \u0440\u0430\u0437\u0432\u0438\u0432\u0430\u0435\u0442\u0441\u044f, \u0432 \u043d\u0451\u043c \u0438\u0437\u043c\u0435\u043d\u044f\u0435\u0442\u0441\u044f \u0441\u0442\u0430\u0440\u044b\u0439 \u043a\u043e\u0434, \u0438 \u043f\u043e\u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u043d\u043e\u0432\u044b\u0439. \u0415\u0441\u0442\u0435\u0441\u0442\u0432\u0435\u043d\u043d\u043e \u0432 \u0438\u0437\u043c\u0435\u043d\u0451\u043d\u043d\u043e\u043c \u0438 \u043d\u0430\u043f\u0438\u0441\u0430\u043d\u043d\u043e\u043c \u043a\u043e\u0434\u0435 \u0435\u0441\u0442\u044c \u043d\u043e\u0432\u044b\u0435 \u043e\u0448\u0438\u0431\u043a\u0438. \u042d\u0442\u043e \u0445\u043e\u0440\u043e\u0448\u043e \u0434\u0435\u043c\u043e\u043d\u0441\u0442\u0440\u0438\u0440\u0443\u0435\u0442, \u0447\u0442\u043e \u0441\u0442\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u0430\u043d\u0430\u043b\u0438\u0437 \u0434\u043e\u043b\u0436\u0435\u043d \u043f\u0440\u0438\u043c\u0435\u043d\u044f\u0442\u044c\u0441\u044f \u0440\u0435\u0433\u0443\u043b\u044f\u0440\u043d\u043e, \u0430 \u043d\u0435 \u043e\u0442 \u0441\u043b\u0443\u0447\u0430\u044f \u043a \u0441\u043b\u0443\u0447\u0430\u044e. \u041d\u0430\u0448\u0438 \u0441\u0442\u0430\u0442\u044c\u0438 \u0445\u043e\u0440\u043e\u0448\u043e \u043f\u043e\u043a\u0430\u0437\u044b\u0432\u0430\u044e\u0442 \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e\u0441\u0442\u0438 \u0430\u043d\u0430\u043b\u0438\u0437\u0430\u0442\u043e\u0440\u0430 PVS-Studio, \u043d\u043e \u044d\u0442\u043e \u043d\u0435 \u0438\u043c\u0435\u0435\u0442 \u043d\u0438\u0447\u0435\u0433\u043e \u043e\u0431\u0449\u0435\u0433\u043e \u0441 \u043f\u043e\u0432\u044b\u0448\u0435\u043d\u0438\u0435\u043c \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0430 \u043a\u043e\u0434\u0430 \u0438 \u0441\u043d\u0438\u0436\u0435\u043d\u0438\u0435\u043c \u0441\u0442\u043e\u0438\u043c\u043e\u0441\u0442\u0438 \u0438\u0441\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u0438\u044f \u043e\u0448\u0438\u0431\u043e\u043a. \u0418\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0439\u0442\u0435 \u0441\u0442\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u0430\u043d\u0430\u043b\u0438\u0437\u0430\u0442\u043e\u0440 \u043a\u043e\u0434\u0430 \u0440\u0435\u0433\u0443\u043b\u044f\u0440\u043d\u043e!<\/li>\n
  2. \u041c\u044b \u0434\u043e\u0440\u0430\u0431\u0430\u0442\u044b\u0432\u0430\u0435\u043c \u0438 \u0443\u0441\u043e\u0432\u0435\u0440\u0448\u0435\u043d\u0441\u0442\u0432\u0443\u0435\u043c \u0443\u0436\u0435 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u044e\u0449\u0438\u0435 \u0434\u0438\u0430\u0433\u043d\u043e\u0441\u0442\u0438\u043a\u0438. \u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u0430\u043d\u0430\u043b\u0438\u0437\u0430\u0442\u043e\u0440 \u043c\u043e\u0436\u0435\u0442 \u0432\u044b\u044f\u0432\u0438\u0442\u044c \u043e\u0448\u0438\u0431\u043a\u0438, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043d\u0435 \u0437\u0430\u043c\u0435\u0447\u0430\u043b \u043f\u0440\u0438 \u043f\u0440\u0435\u0434\u044b\u0434\u0443\u0449\u0438\u0445 \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0430\u0445.<\/li>\n
  3. \u0412 PVS-Studio \u043f\u043e\u044f\u0432\u0438\u043b\u0438\u0441\u044c \u043d\u043e\u0432\u044b\u0435 \u0434\u0438\u0430\u0433\u043d\u043e\u0441\u0442\u0438\u043a\u0438, \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u043d\u0435 \u0431\u044b\u043b\u043e 2 \u0433\u043e\u0434\u0430 \u043d\u0430\u0437\u0430\u0434. \u042f \u0440\u0435\u0448\u0438\u043b \u0432\u044b\u0434\u0435\u043b\u0438\u0442\u044c \u0438\u0445 \u0432 \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u044b\u0439 \u0440\u0430\u0437\u0434\u0435\u043b, \u0447\u0442\u043e\u0431\u044b \u043d\u0430\u0433\u043b\u044f\u0434\u043d\u043e \u043f\u043e\u043a\u0430\u0437\u0430\u0442\u044c \u0440\u0430\u0437\u0432\u0438\u0442\u0438\u0435 PVS-Studio.<\/li>\n<\/ol>\n

    <\/p>\n

    \u0414\u0435\u0444\u0435\u043a\u0442\u044b, \u0432\u044b\u044f\u0432\u043b\u0435\u043d\u043d\u044b\u0435 \u0434\u0438\u0430\u0433\u043d\u043e\u0441\u0442\u0438\u043a\u0430\u043c\u0438, \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043e\u0432\u0430\u0432\u0448\u0438\u043c\u0438 2 \u0433\u043e\u0434\u0430 \u043d\u0430\u0437\u0430\u0434<\/h2>\n

    \n\u0424\u0440\u0430\u0433\u043c\u0435\u043d\u0442 N1: Copy-Paste<\/b><\/p>\n

    static bool ShouldUpgradeX86Intrinsic(Function *F, StringRef Name) {\n  if (Name == \"addcarryx.u32\" || \/\/ Added in 8.0\n    ....\n    Name == \"avx512.mask.cvtps2pd.128\" || \/\/ Added in 7.0\n    Name == \"avx512.mask.cvtps2pd.256\" || \/\/ Added in 7.0\n    Name == \"avx512.cvtusi2sd\" || \/\/ Added in 7.0\n    Name.startswith(\"avx512.mask.permvar.\") || \/\/ Added in 7.0     \/\/ <=\n    Name.startswith(\"avx512.mask.permvar.\") || \/\/ Added in 7.0     \/\/ <=\n    Name == \"sse2.pmulu.dq\" || \/\/ Added in 7.0\n    Name == \"sse41.pmuldq\" || \/\/ Added in 7.0\n    Name == \"avx2.pmulu.dq\" || \/\/ Added in 7.0\n  ....\n}<\/code><\/pre>\n
    \n\u041f\u0440\u0435\u0434\u0443\u043f\u0440\u0435\u0436\u0434\u0435\u043d\u0438\u0435 PVS-Studio: V501<\/a><\/noindex> [CWE-570] There are identical sub-expressions ‘Name.startswith(\u00abavx512.mask.permvar.\u00bb)’ to the left and to the right of the ‘||’ operator. AutoUpgrade.cpp 73<\/p>\n
    \u0414\u0432\u0430\u0436\u0434\u044b \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442\u0441\u044f, \u0447\u0442\u043e \u0438\u043c\u044f \u043d\u0430\u0447\u0438\u043d\u0430\u0435\u0442\u0441\u044f \u0441 \u043f\u043e\u0434\u0441\u0442\u0440\u043e\u043a\u0438 \u00abavx512.mask.permvar.\u00bb. \u0412\u043e \u0432\u0442\u043e\u0440\u043e\u0439 \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0435 \u044f\u0432\u043d\u043e \u0445\u043e\u0442\u0435\u043b\u0438 \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u0447\u0442\u043e-\u0442\u043e \u0435\u0449\u0451, \u043d\u043e \u0437\u0430\u0431\u044b\u043b\u0438 \u0438\u0441\u043f\u0440\u0430\u0432\u0438\u0442\u044c \u0441\u043a\u043e\u043f\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u0442\u0435\u043a\u0441\u0442.<\/p>\n
    \u0424\u0440\u0430\u0433\u043c\u0435\u043d\u0442 N2: \u041e\u043f\u0435\u0447\u0430\u0442\u043a\u0430<\/b><\/p>\n
    enum CXNameRefFlags {\n  CXNameRange_WantQualifier = 0x1,\n  CXNameRange_WantTemplateArgs = 0x2,\n  CXNameRange_WantSinglePiece = 0x4\n};\n\nvoid AnnotateTokensWorker::HandlePostPonedChildCursor(\n    CXCursor Cursor, unsigned StartTokenIndex) {\n  const auto flags = CXNameRange_WantQualifier | CXNameRange_WantQualifier;\n  ....\n}<\/code><\/pre>\n
    \n\u041f\u0440\u0435\u0434\u0443\u043f\u0440\u0435\u0436\u0434\u0435\u043d\u0438\u0435 PVS-Studio: V501 There are identical sub-expressions ‘CXNameRange_WantQualifier’ to the left and to the right of the ‘|’ operator. CIndex.cpp 7245<\/p>\n
    \u0418\u0437-\u0437\u0430 \u043e\u043f\u0435\u0447\u0430\u0442\u043a\u0438 \u0434\u0432\u0430\u0436\u0434\u044b \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442\u0441\u044f \u043e\u0434\u043d\u0430 \u0438 \u0442\u0430 \u0436\u0435 \u0438\u043c\u0435\u043d\u043e\u0432\u0430\u043d\u043d\u0430\u044f \u043a\u043e\u043d\u0441\u0442\u0430\u043d\u0442\u0430 CXNameRange_WantQualifier<\/i>.<\/p>\n
    \u0424\u0440\u0430\u0433\u043c\u0435\u043d\u0442 N3: \u041f\u0443\u0442\u0430\u043d\u0438\u0446\u0430 \u0441 \u043f\u0440\u0438\u043e\u0440\u0438\u0442\u0435\u0442\u0430\u043c\u0438 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u043e\u0432<\/b><\/p>\n
    int PPCTTIImpl::getVectorInstrCost(unsigned Opcode, Type *Val, unsigned Index) {\n  ....\n  if (ISD == ISD::EXTRACT_VECTOR_ELT && Index == ST->isLittleEndian() ? 1 : 0)\n    return 0;\n  ....\n}<\/code><\/pre>\n
    \n\u041f\u0440\u0435\u0434\u0443\u043f\u0440\u0435\u0436\u0434\u0435\u043d\u0438\u0435 PVS-Studio: V502<\/a><\/noindex> [CWE-783] Perhaps the ‘?:’ operator works in a different way than it was expected. The ‘?:’ operator has a lower priority than the ‘==’ operator. PPCTargetTransformInfo.cpp 404<\/p>\n
    \u041d\u0430 \u043c\u043e\u0439 \u0432\u0437\u0433\u043b\u044f\u0434, \u044d\u0442\u043e \u043e\u0447\u0435\u043d\u044c \u043a\u0440\u0430\u0441\u0438\u0432\u0430\u044f \u043e\u0448\u0438\u0431\u043a\u0430. \u0414\u0430, \u044f \u0437\u043d\u0430\u044e, \u0447\u0442\u043e \u0443 \u043c\u0435\u043d\u044f \u0441\u0442\u0440\u0430\u043d\u043d\u044b\u0435 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u044f \u043e \u043a\u0440\u0430\u0441\u043e\u0442\u0435 :).<\/p>\n
    \u0421\u0435\u0439\u0447\u0430\u0441, \u0441\u043e\u0433\u043b\u0430\u0441\u043d\u043e \u043f\u0440\u0438\u043e\u0440\u0438\u0442\u0435\u0442\u0430\u043c \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u043e\u0432<\/a><\/noindex>, \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0435 \u0432\u044b\u0447\u0438\u0441\u043b\u044f\u0435\u0442\u0441\u044f \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c:<\/p>\n
    (ISD == ISD::EXTRACT_VECTOR_ELT && (Index == ST->isLittleEndian())) ? 1 : 0<\/code><\/pre>\n
    \n\u0421 \u043f\u0440\u0430\u043a\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0439 \u0442\u043e\u0447\u043a\u0438 \u0437\u0440\u0435\u043d\u0438\u044f \u0442\u0430\u043a\u043e\u0435 \u0443\u0441\u043b\u043e\u0432\u0438\u0435 \u043d\u0435 \u0438\u043c\u0435\u0435\u0442 \u0441\u043c\u044b\u0441\u043b\u0430, \u0442\u0430\u043a \u043a\u0430\u043a \u0435\u0433\u043e \u043c\u043e\u0436\u043d\u043e \u0441\u043e\u043a\u0440\u0430\u0442\u0438\u0442\u044c \u0434\u043e:<\/p>\n
    (ISD == ISD::EXTRACT_VECTOR_ELT && Index == ST->isLittleEndian())<\/code><\/pre>\n
    \n\u042d\u0442\u043e \u044f\u0432\u043d\u0430\u044f \u043e\u0448\u0438\u0431\u043a\u0430. \u0421\u043a\u043e\u0440\u0435\u0435 \u0432\u0441\u0435\u0433\u043e, 0\/1 \u0445\u043e\u0442\u0435\u043b\u0438 \u0441\u0440\u0430\u0432\u043d\u0438\u0442\u044c \u0441 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u043e\u0439 Index<\/i>. \u0427\u0442\u043e\u0431\u044b \u0438\u0441\u043f\u0440\u0430\u0432\u0438\u0442\u044c \u043a\u043e\u0434 \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u043e \u0434\u043e\u0431\u0430\u0432\u0438\u0442\u044c \u0441\u043a\u043e\u0431\u043a\u0438 \u0432\u043e\u043a\u0440\u0443\u0433 \u0442\u0435\u0440\u043d\u0430\u0440\u043d\u043e\u0433\u043e \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0430:<\/p>\n
    if (ISD == ISD::EXTRACT_VECTOR_ELT && Index == (ST->isLittleEndian() ? 1 : 0))<\/code><\/pre>\n
    \n\u041a\u0441\u0442\u0430\u0442\u0438, \u0442\u0435\u0440\u043d\u0430\u0440\u043d\u044b\u0439 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440 \u043e\u0447\u0435\u043d\u044c \u043e\u043f\u0430\u0441\u043d\u044b\u0439 \u0438 \u043f\u0440\u043e\u0432\u043e\u0446\u0438\u0440\u0443\u0435\u0442 \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u043e\u0448\u0438\u0431\u043a\u0438. \u0411\u0443\u0434\u044c\u0442\u0435 \u043e\u0447\u0435\u043d\u044c \u0430\u043a\u043a\u0443\u0440\u0430\u0442\u043d\u044b \u0441 \u043d\u0438\u043c \u0438 \u043d\u0435 \u0436\u0430\u0434\u043d\u0438\u0447\u0430\u0439\u0442\u0435 \u0441\u0442\u0430\u0432\u0438\u0442\u044c \u043a\u0440\u0443\u0433\u043b\u044b\u0435 \u0441\u043a\u043e\u0431\u043a\u0438. \u041f\u043e\u0434\u0440\u043e\u0431\u043d\u0435\u0435 \u044d\u0442\u0443 \u0442\u0435\u043c\u0443 \u044f \u0440\u0430\u0441\u0441\u043c\u0430\u0442\u0440\u0438\u0432\u0430\u043b \u0437\u0434\u0435\u0441\u044c<\/a><\/noindex>, \u0432 \u0433\u043b\u0430\u0432\u0435 \u00ab\u0411\u043e\u0439\u0442\u0435\u0441\u044c \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0430 ?: \u0438 \u0437\u0430\u043a\u043b\u044e\u0447\u0430\u0439\u0442\u0435 \u0435\u0433\u043e \u0432 \u043a\u0440\u0443\u0433\u043b\u044b\u0435 \u0441\u043a\u043e\u0431\u043a\u0438\u00bb.<\/p>\n
    \u0424\u0440\u0430\u0433\u043c\u0435\u043d\u0442 N4, N5: \u041d\u0443\u043b\u0435\u0432\u043e\u0439 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c<\/b><\/p>\n
    Init *TGParser::ParseValue(Record *CurRec, RecTy *ItemType, IDParseMode Mode) {\n  ....\n  TypedInit *LHS = dyn_cast<TypedInit>(Result);\n  ....\n  LHS = dyn_cast<TypedInit>(\n    UnOpInit::get(UnOpInit::CAST, LHS, StringRecTy::get())\n      ->Fold(CurRec));\n  if (!LHS) {\n    Error(PasteLoc, Twine(\"can't cast '\") + LHS->getAsString() +\n                    \"' to string\");\n    return nullptr;\n  }\n  ....\n}<\/code><\/pre>\n
    \n\u041f\u0440\u0435\u0434\u0443\u043f\u0440\u0435\u0436\u0434\u0435\u043d\u0438\u0435 PVS-Studio: V522<\/a><\/noindex> [CWE-476] Dereferencing of the null pointer ‘LHS’ might take place. TGParser.cpp 2152<\/p>\n
    \u0415\u0441\u043b\u0438 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c LHS<\/i> \u043e\u043a\u0430\u0436\u0435\u0442\u0441\u044f \u043d\u0443\u043b\u0435\u0432\u044b\u043c, \u0442\u043e \u0434\u043e\u043b\u0436\u043d\u043e \u0431\u044b\u0442\u044c \u0432\u044b\u0434\u0430\u043d\u043e \u043f\u0440\u0435\u0434\u0443\u043f\u0440\u0435\u0436\u0434\u0435\u043d\u0438\u0435. \u041e\u0434\u043d\u0430\u043a\u043e \u0432\u043c\u0435\u0441\u0442\u043e \u044d\u0442\u043e\u0433\u043e \u043f\u0440\u043e\u0438\u0437\u043e\u0439\u0434\u0451\u0442 \u0440\u0430\u0437\u044b\u043c\u0435\u043d\u043e\u0432\u0430\u043d\u0438\u0435 \u044d\u0442\u043e\u0433\u043e \u0441\u0430\u043c\u043e\u0433\u043e \u043d\u0443\u043b\u0435\u0432\u043e\u0433\u043e \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044f: LHS->getAsString()<\/i>.<\/p>\n
    \u042d\u0442\u043e \u0432\u0435\u0441\u044c\u043c\u0430 \u0442\u0438\u043f\u043e\u0432\u0430\u044f \u0441\u0438\u0442\u0443\u0430\u0446\u0438\u044f, \u043a\u043e\u0433\u0434\u0430 \u043e\u0448\u0438\u0431\u043a\u0430 \u043f\u0440\u044f\u0447\u0435\u0442\u0441\u044f \u0432 \u043e\u0431\u0440\u0430\u0431\u043e\u0442\u0447\u0438\u043a\u0435 \u043e\u0448\u0438\u0431\u043e\u043a, \u0442\u0430\u043a \u043a\u0430\u043a \u0438\u0445 \u043d\u0438\u043a\u0442\u043e \u043d\u0435 \u0442\u0435\u0441\u0442\u0438\u0440\u0443\u0435\u0442. \u0421\u0442\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u0430\u043d\u0430\u043b\u0438\u0437\u0430\u0442\u043e\u0440\u044b \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u044e\u0442 \u0432\u0435\u0441\u044c \u0434\u043e\u0441\u0442\u0438\u0436\u0438\u043c\u044b\u0439 \u043a\u043e\u0434, \u043d\u0435\u0437\u0430\u0432\u0438\u0441\u0438\u043c\u043e \u043e\u0442 \u0442\u043e\u0433\u043e, \u043a\u0430\u043a \u0447\u0430\u0441\u0442\u043e \u043e\u043d \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442\u0441\u044f. \u042d\u0442\u043e \u043e\u0447\u0435\u043d\u044c \u0445\u043e\u0440\u043e\u0448\u0438\u0439 \u043f\u0440\u0438\u043c\u0435\u0440, \u043a\u0430\u043a \u0441\u0442\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u0430\u043d\u0430\u043b\u0438\u0437 \u0434\u043e\u043f\u043e\u043b\u043d\u044f\u0435\u0442 \u0434\u0440\u0443\u0433\u0438\u0435 \u043c\u0435\u0442\u043e\u0434\u0438\u043a\u0438 \u0442\u0435\u0441\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u0438 \u0437\u0430\u0449\u0438\u0442\u044b \u043e\u0442 \u043e\u0448\u0438\u0431\u043e\u043a.<\/p>\n
    \u0410\u043d\u0430\u043b\u043e\u0433\u0438\u0447\u043d\u0430\u044f \u043e\u0448\u0438\u0431\u043a\u0430 \u043e\u0431\u0440\u0430\u0431\u043e\u0442\u043a\u0438 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044f RHS<\/i> \u0434\u043e\u043f\u0443\u0449\u0435\u043d\u0430 \u0432 \u043a\u043e\u0434\u0435 \u0447\u0443\u0442\u044c \u043d\u0438\u0436\u0435: V522 [CWE-476] Dereferencing of the null pointer ‘RHS’ might take place. TGParser.cpp 2186<\/p>\n
    \u0424\u0440\u0430\u0433\u043c\u0435\u043d\u0442 N6: \u0418\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0435 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044f \u043f\u043e\u0441\u043b\u0435 \u043f\u0435\u0440\u0435\u043c\u0435\u0449\u0435\u043d\u0438\u044f<\/b><\/p>\n
    static Expected<bool>\nExtractBlocks(....)\n{\n  ....\n  std::unique_ptr<Module> ProgClone = CloneModule(BD.getProgram(), VMap);\n  ....\n  BD.setNewProgram(std::move(ProgClone));                                \/\/ <=\n  MiscompiledFunctions.clear();\n\n  for (unsigned i = 0, e = MisCompFunctions.size(); i != e; ++i) {\n    Function *NewF = ProgClone->getFunction(MisCompFunctions[i].first);  \/\/ <=\n    assert(NewF && \"Function not found??\");\n    MiscompiledFunctions.push_back(NewF);\n  }\n  ....\n}<\/code><\/pre>\n
    \n\u041f\u0440\u0435\u0434\u0443\u043f\u0440\u0435\u0436\u0434\u0435\u043d\u0438\u0435 PVS-Studio: V522 [CWE-476] Dereferencing of the null pointer ‘ProgClone’ might take place. Miscompilation.cpp 601<\/p>\n
    \u0412 \u043d\u0430\u0447\u0430\u043b\u0435 \u0443\u043c\u043d\u044b\u0439 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c ProgClone<\/i> \u043f\u0435\u0440\u0435\u0441\u0442\u0430\u0451\u0442 \u0432\u043b\u0430\u0434\u0435\u0442\u044c \u043e\u0431\u044a\u0435\u043a\u0442\u043e\u043c:<\/p>\n
    BD.setNewProgram(std::move(ProgClone));<\/code><\/pre>\n
    \n\u0424\u0430\u043a\u0442\u0438\u0447\u0435\u0441\u043a\u0438, \u0442\u0435\u043f\u0435\u0440\u044c ProgClone <\/i> \u2014 \u044d\u0442\u043e \u043d\u0443\u043b\u0435\u0432\u043e\u0439 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c. \u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u0447\u0443\u0442\u044c \u043d\u0438\u0436\u0435 \u0434\u043e\u043b\u0436\u043d\u043e \u043f\u0440\u043e\u0438\u0437\u043e\u0439\u0442\u0438 \u0440\u0430\u0437\u044b\u043c\u0435\u043d\u043e\u0432\u0430\u043d\u0438\u0435 \u043d\u0443\u043b\u0435\u0432\u043e\u0433\u043e \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044f:<\/p>\n
    Function *NewF = ProgClone->getFunction(MisCompFunctions[i].first);<\/code><\/pre>\n
    \n\u041d\u043e, \u043d\u0430 \u0441\u0430\u043c\u043e\u043c \u0434\u0435\u043b\u0435, \u044d\u0442\u043e\u0433\u043e \u043d\u0435 \u043f\u0440\u043e\u0438\u0437\u043e\u0439\u0434\u0451\u0442! \u041e\u0431\u0440\u0430\u0442\u0438\u0442\u0435 \u0432\u043d\u0438\u043c\u0430\u043d\u0438\u0435, \u0447\u0442\u043e \u0446\u0438\u043a\u043b \u043d\u0430 \u0441\u0430\u043c\u043e\u043c \u0434\u0435\u043b\u0435 \u043d\u0435 \u0432\u044b\u043f\u043e\u043b\u043d\u044f\u0435\u0442\u0441\u044f.<\/p>\n
    \u0412 \u043d\u0430\u0447\u0430\u043b\u0435 \u043a\u043e\u043d\u0442\u0435\u0439\u043d\u0435\u0440 MiscompiledFunctions<\/i> \u043e\u0447\u0438\u0449\u0430\u0435\u0442\u0441\u044f:<\/p>\n
    MiscompiledFunctions.clear();<\/code><\/pre>\n
    \n\u0414\u0430\u043b\u0435\u0435 \u0440\u0430\u0437\u043c\u0435\u0440 \u044d\u0442\u043e\u0433\u043e \u043a\u043e\u043d\u0442\u0435\u0439\u043d\u0435\u0440\u0430 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442\u0441\u044f \u0432 \u0443\u0441\u043b\u043e\u0432\u0438\u0438 \u0446\u0438\u043a\u043b\u0430:<\/p>\n
    for (unsigned i = 0, e = MisCompFunctions.size(); i != e; ++i) {<\/code><\/pre>\n
    \n\u041b\u0435\u0433\u043a\u043e \u0432\u0438\u0434\u0435\u0442\u044c, \u0447\u0442\u043e \u0446\u0438\u043a\u043b \u043d\u0435 \u0437\u0430\u043f\u0443\u0441\u043a\u0430\u0435\u0442\u0441\u044f. \u0414\u0443\u043c\u0430\u044e, \u044d\u0442\u043e \u0442\u043e\u0436\u0435 \u043e\u0448\u0438\u0431\u043a\u0430, \u0438 \u043a\u043e\u0434 \u0434\u043e\u043b\u0436\u0435\u043d \u0431\u044b\u0442\u044c \u043d\u0430\u043f\u0438\u0441\u0430\u043d \u0438\u043d\u044b\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c.<\/p>\n
    \u041a\u0430\u0436\u0435\u0442\u0441\u044f, \u043c\u044b \u0432\u0441\u0442\u0440\u0435\u0442\u0438\u043b\u0438 \u0442\u0443 \u0441\u0430\u043c\u0443\u044e \u0437\u043d\u0430\u043c\u0435\u043d\u0438\u0442\u0443\u044e \u0447\u0451\u0442\u043d\u043e\u0441\u0442\u044c \u043e\u0448\u0438\u0431\u043e\u043a! \u041e\u0434\u043d\u0430 \u043e\u0448\u0438\u0431\u043a\u0430 \u043c\u0430\u0441\u043a\u0438\u0440\u0443\u0435\u0442 \u0434\u0440\u0443\u0433\u0443\u044e :).<\/p>\n
    \u0424\u0440\u0430\u0433\u043c\u0435\u043d\u0442 N7: \u0418\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0435 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044f \u043f\u043e\u0441\u043b\u0435 \u043f\u0435\u0440\u0435\u043c\u0435\u0449\u0435\u043d\u0438\u044f<\/b><\/p>\n
    static Expected<bool> TestOptimizer(BugDriver &BD, std::unique_ptr<Module> Test,\n                                    std::unique_ptr<Module> Safe) {\n  outs() << \"  Optimizing functions being tested: \";\n  std::unique_ptr<Module> Optimized =\n      BD.runPassesOn(Test.get(), BD.getPassesToRun());\n  if (!Optimized) {\n    errs() << \" Error running this sequence of passes\"\n           << \" on the input program!n\";\n    BD.setNewProgram(std::move(Test));                       \/\/ <=\n    BD.EmitProgressBitcode(*Test, \"pass-error\", false);      \/\/ <=\n    if (Error E = BD.debugOptimizerCrash())\n      return std::move(E);\n    return false;\n  }\n  ....\n}<\/code><\/pre>\n
    \n\u041f\u0440\u0435\u0434\u0443\u043f\u0440\u0435\u0436\u0434\u0435\u043d\u0438\u0435 PVS-Studio: V522 [CWE-476] Dereferencing of the null pointer ‘Test’ might take place. Miscompilation.cpp 709<\/p>\n
    \u0412\u043d\u043e\u0432\u044c \u0442\u0430 \u0436\u0435 \u0441\u0430\u043c\u0430\u044f \u0441\u0438\u0442\u0443\u0430\u0446\u0438\u044f. \u0412 \u043d\u0430\u0447\u0430\u043b\u0435 \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u043c\u043e\u0435 \u043e\u0431\u044a\u0435\u043a\u0442\u0430 \u043f\u0435\u0440\u0435\u043c\u0435\u0449\u0430\u0435\u0442\u0441\u044f, \u0430 \u0437\u0430\u0442\u0435\u043c \u043e\u043d \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442\u0441\u044f \u043a\u0430\u043a \u043d\u0438 \u0432 \u0447\u0451\u043c \u043d\u0435 \u0431\u044b\u0432\u0430\u043b\u043e. \u042f \u0432\u0441\u0451 \u0447\u0430\u0449\u0435 \u0432\u0441\u0442\u0440\u0435\u0447\u0430\u044e \u044d\u0442\u0443 \u0441\u0438\u0442\u0443\u0430\u0446\u0438\u044e \u0432 \u043a\u043e\u0434\u0435 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c, \u043f\u043e\u0441\u043b\u0435 \u0442\u043e\u0433\u043e, \u043a\u0430\u043a \u0432 \u0421++ \u043f\u043e\u044f\u0432\u0438\u043b\u0430\u0441\u044c \u0441\u0435\u043c\u0430\u043d\u0442\u0438\u043a\u0430 \u043f\u0435\u0440\u0435\u043c\u0435\u0449\u0435\u043d\u0438\u044f. \u0417\u0430 \u044d\u0442\u043e \u044f \u0438 \u043b\u044e\u0431\u043b\u044e \u044f\u0437\u044b\u043a C++! \u041f\u043e\u044f\u0432\u043b\u044f\u044e\u0442\u0441\u044f \u0432\u0441\u0451 \u043d\u043e\u0432\u044b\u0435 \u0438 \u043d\u043e\u0432\u044b\u0435 \u0441\u043f\u043e\u0441\u043e\u0431\u044b \u043e\u0442\u0441\u0442\u0440\u0435\u043b\u0438\u0442\u044c \u0441\u0435\u0431\u0435 \u043d\u043e\u0433\u0443. \u0410\u043d\u0430\u043b\u0438\u0437\u0430\u0442\u043e\u0440\u0443 PVS-Studio \u0432\u0441\u0435\u0433\u0434\u0430 \u0431\u0443\u0434\u0435\u0442 \u0440\u0430\u0431\u043e\u0442\u0430 :).<\/p>\n
    \u0424\u0440\u0430\u0433\u043c\u0435\u043d\u0442 N8: \u041d\u0443\u043b\u0435\u0432\u043e\u0439 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c<\/b><\/p>\n
    void FunctionDumper::dump(const PDBSymbolTypeFunctionArg &Symbol) {\n  uint32_t TypeId = Symbol.getTypeId();\n  auto Type = Symbol.getSession().getSymbolById(TypeId);\n  if (Type)\n    Printer << \"<unknown-type>\";\n  else\n    Type->dump(*this);\n}<\/code><\/pre>\n
    \n\u041f\u0440\u0435\u0434\u0443\u043f\u0440\u0435\u0436\u0434\u0435\u043d\u0438\u0435 PVS-Studio: V522 [CWE-476] Dereferencing of the null pointer ‘Type’ might take place. PrettyFunctionDumper.cpp 233<\/p>\n
    \u041f\u043e\u043c\u0438\u043c\u043e \u043e\u0431\u0440\u0430\u0431\u043e\u0442\u0447\u0438\u043a\u043e\u0432 \u043e\u0448\u0438\u0431\u043e\u043a, \u043e\u0431\u044b\u0447\u043d\u043e \u043d\u0435 \u0442\u0435\u0441\u0442\u0438\u0440\u0443\u044e\u0442\u0441\u044f \u0438 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u043e\u0442\u043b\u0430\u0434\u043e\u0447\u043d\u043e\u0439 \u0440\u0430\u0441\u043f\u0435\u0447\u0430\u0442\u043a\u0438 \u0434\u0430\u043d\u043d\u044b\u0445. \u041f\u0435\u0440\u0435\u0434 \u043d\u0430\u043c\u0438 \u043a\u0430\u043a \u0440\u0430\u0437 \u0442\u0430\u043a\u043e\u0439 \u0441\u043b\u0443\u0447\u0430\u0439. \u0424\u0443\u043d\u043a\u0446\u0438\u044f \u0436\u0434\u0451\u0442 \u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u0435\u043b\u044f, \u043a\u043e\u0442\u043e\u0440\u043e\u0439 \u0432\u043c\u0435\u0441\u0442\u043e \u0442\u043e\u0433\u043e \u0447\u0442\u043e\u0431\u044b \u0440\u0435\u0448\u0438\u0442\u044c \u0441\u0432\u043e\u0438 \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u044b, \u0431\u0443\u0434\u0435\u0442 \u0432\u044b\u043d\u0443\u0436\u0434\u0435\u043d \u0437\u0430\u043d\u044f\u0442\u044c\u0441\u044f \u0435\u0451 \u0438\u0441\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u0438\u0435\u043c.<\/p>\n
    \u041f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u043e:<\/p>\n
    if (Type)\n  Type->dump(*this);\nelse\n  Printer << \"<unknown-type>\";<\/code><\/pre>\n
    \n\u0424\u0440\u0430\u0433\u043c\u0435\u043d\u0442 N9: \u041d\u0443\u043b\u0435\u0432\u043e\u0439 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c<\/b><\/p>\n
    void SearchableTableEmitter::collectTableEntries(\n    GenericTable &Table, const std::vector<Record *> &Items) {\n  ....\n  RecTy *Ty = resolveTypes(Field.RecType, TI->getType());\n  if (!Ty)                                                              \/\/ <=\n    PrintFatalError(Twine(\"Field '\") + Field.Name + \"' of table '\" +\n                    Table.Name + \"' has incompatible type: \" +\n                    Ty->getAsString() + \" vs. \" +                       \/\/ <=\n                    TI->getType()->getAsString());\n   ....\n}<\/code><\/pre>\n
    \n\u041f\u0440\u0435\u0434\u0443\u043f\u0440\u0435\u0436\u0434\u0435\u043d\u0438\u0435 PVS-Studio: V522 [CWE-476] Dereferencing of the null pointer ‘Ty’ might take place. SearchableTableEmitter.cpp 614<\/p>\n
    \u0414\u0443\u043c\u0430\u044e, \u0438 \u0442\u0430\u043a \u0432\u0441\u0451 \u043f\u043e\u043d\u044f\u0442\u043d\u043e \u0438 \u043d\u0435 \u0442\u0440\u0435\u0431\u0443\u0435\u0442 \u043f\u043e\u044f\u0441\u043d\u0435\u043d\u0438\u0439.<\/p>\n
    \u0424\u0440\u0430\u0433\u043c\u0435\u043d\u0442 N10: \u041e\u043f\u0435\u0447\u0430\u0442\u043a\u0430<\/b><\/p>\n
    bool FormatTokenLexer::tryMergeCSharpNullConditionals() {\n  ....\n  auto &Identifier = *(Tokens.end() - 2);\n  auto &Question = *(Tokens.end() - 1);\n  ....\n  Identifier->ColumnWidth += Question->ColumnWidth;\n  Identifier->Type = Identifier->Type;                    \/\/ <=\n  Tokens.erase(Tokens.end() - 1);\n  return true;\n}<\/code><\/pre>\n
    \n\u041f\u0440\u0435\u0434\u0443\u043f\u0440\u0435\u0436\u0434\u0435\u043d\u0438\u0435 PVS-Studio: V570<\/a><\/noindex> The ‘Identifier->Type’ variable is assigned to itself. FormatTokenLexer.cpp 249<\/p>\n
    \u041d\u0435\u0442 \u0441\u043c\u044b\u0441\u043b\u0430 \u043f\u0440\u0438\u0441\u0432\u0430\u0438\u0432\u0430\u0442\u044c \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u0443\u044e \u0441\u0430\u043c\u0443 \u0441\u0435\u0431\u0435. \u0421\u043a\u043e\u0440\u0435\u0435 \u0432\u0441\u0435\u0433\u043e \u0445\u043e\u0442\u0435\u043b\u0438 \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c:<\/p>\n
    Identifier->Type = Question->Type;<\/code><\/pre>\n
    \n\u0424\u0440\u0430\u0433\u043c\u0435\u043d\u0442 N11: \u041f\u043e\u0434\u043e\u0437\u0440\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0439 break<\/b><\/p>\n
    void SystemZOperand::print(raw_ostream &OS) const {\n  switch (Kind) {\n    break;\n  case KindToken:\n    OS << \"Token:\" << getToken();\n    break;\n  case KindReg:\n    OS << \"Reg:\" << SystemZInstPrinter::getRegisterName(getReg());\n    break;\n  ....\n}<\/code><\/pre>\n
    \n\u041f\u0440\u0435\u0434\u0443\u043f\u0440\u0435\u0436\u0434\u0435\u043d\u0438\u0435 PVS-Studio: V622<\/a><\/noindex> [CWE-478] Consider inspecting the ‘switch’ statement. It’s possible that the first ‘case’ operator is missing. SystemZAsmParser.cpp 652<\/p>\n
    \u0412 \u043d\u0430\u0447\u0430\u043b\u0435 \u043f\u0440\u0438\u0441\u0443\u0442\u0441\u0442\u0432\u0443\u0435\u0442 \u043e\u0447\u0435\u043d\u044c \u043f\u043e\u0434\u043e\u0437\u0440\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0439 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440 break<\/i>. \u041d\u0435 \u0437\u0430\u0431\u044b\u043b\u0438 \u043b\u0438 \u0437\u0434\u0435\u0441\u044c \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u0447\u0442\u043e-\u0442\u043e \u0435\u0449\u0451?<\/p>\n
    \u0424\u0440\u0430\u0433\u043c\u0435\u043d\u0442 N12: \u041f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044f \u043f\u043e\u0441\u043b\u0435 \u0440\u0430\u0437\u044b\u043c\u0435\u043d\u043e\u0432\u0430\u043d\u0438\u044f<\/b><\/p>\n
    InlineCost AMDGPUInliner::getInlineCost(CallSite CS) {\n  Function *Callee = CS.getCalledFunction();\n  Function *Caller = CS.getCaller();\n  TargetTransformInfo &TTI = TTIWP->getTTI(*Callee);\n\n  if (!Callee || Callee->isDeclaration())\n    return llvm::InlineCost::getNever(\"undefined callee\");\n  ....\n}<\/code><\/pre>\n
    \n\u041f\u0440\u0435\u0434\u0443\u043f\u0440\u0435\u0436\u0434\u0435\u043d\u0438\u0435 PVS-Studio: V595<\/a><\/noindex> [CWE-476] The ‘Callee’ pointer was utilized before it was verified against nullptr. Check lines: 172, 174. AMDGPUInline.cpp 172<\/p>\n
    \u0423\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c Callee<\/i> \u0432 \u043d\u0430\u0447\u0430\u043b\u0435 \u0440\u0430\u0437\u044b\u043c\u0435\u043d\u043e\u0432\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u0432 \u043c\u043e\u043c\u0435\u043d\u0442 \u0432\u044b\u0437\u043e\u0432\u0430 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 getTTI<\/i>.<\/p>\n
    \u0410 \u0437\u0430\u0442\u0435\u043c \u043e\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f, \u0447\u0442\u043e \u044d\u0442\u043e\u0442 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c \u0441\u043b\u0435\u0434\u0443\u0435\u0442 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0442\u044c \u043d\u0430 \u0440\u0430\u0432\u0435\u043d\u0441\u0442\u0432\u043e nullptr<\/i>:<\/p>\n
    if (!Callee || Callee->isDeclaration())<\/code><\/pre>\n
    \n\u041d\u043e \u0443\u0436\u0435 \u043f\u043e\u0437\u0434\u043d\u043e\u2026<\/p>\n
    \u0424\u0440\u0430\u0433\u043c\u0435\u043d\u0442 N13 \u2014 N…: \u041f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044f \u043f\u043e\u0441\u043b\u0435 \u0440\u0430\u0437\u044b\u043c\u0435\u043d\u043e\u0432\u0430\u043d\u0438\u044f<\/b><\/p>\n
    \u0421\u0438\u0442\u0443\u0430\u0446\u0438\u044f, \u0440\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0435\u043d\u043d\u0430\u044f \u0432 \u043f\u0440\u0435\u0434\u044b\u0434\u0443\u0449\u0435\u043c \u0444\u0440\u0430\u0433\u043c\u0435\u043d\u0442\u0435 \u043a\u043e\u0434\u0430 \u043d\u0435 \u0443\u043d\u0438\u043a\u0430\u043b\u044c\u043d\u0430. \u041e\u043d\u0430 \u0432\u0441\u0442\u0440\u0435\u0447\u0430\u0435\u0442\u0441\u044f \u0437\u0434\u0435\u0441\u044c:<\/p>\n
    static Value *optimizeDoubleFP(CallInst *CI, IRBuilder<> &B,\n                               bool isBinary, bool isPrecise = false) {\n  ....\n  Function *CalleeFn = CI->getCalledFunction();\n  StringRef CalleeNm = CalleeFn->getName();                 \/\/ <=\n  AttributeList CalleeAt = CalleeFn->getAttributes();\n  if (CalleeFn && !CalleeFn->isIntrinsic()) {               \/\/ <=\n  ....\n}<\/code><\/pre>\n
    \n\u041f\u0440\u0435\u0434\u0443\u043f\u0440\u0435\u0436\u0434\u0435\u043d\u0438\u0435 PVS-Studio: V595 [CWE-476] The ‘CalleeFn’ pointer was utilized before it was verified against nullptr. Check lines: 1079, 1081. SimplifyLibCalls.cpp 1079<\/p>\n
    \u0418 \u0437\u0434\u0435\u0441\u044c:<\/p>\n
    void Sema::InstantiateAttrs(const MultiLevelTemplateArgumentList &TemplateArgs,\n                            const Decl *Tmpl, Decl *New,\n                            LateInstantiatedAttrVec *LateAttrs,\n                            LocalInstantiationScope *OuterMostScope) {\n  ....\n  NamedDecl *ND = dyn_cast<NamedDecl>(New);\n  CXXRecordDecl *ThisContext =\n    dyn_cast_or_null<CXXRecordDecl>(ND->getDeclContext());         \/\/ <=\n  CXXThisScopeRAII ThisScope(*this, ThisContext, Qualifiers(),\n                             ND && ND->isCXXInstanceMember());     \/\/ <=\n  ....\n}<\/code><\/pre>\n
    \n\u041f\u0440\u0435\u0434\u0443\u043f\u0440\u0435\u0436\u0434\u0435\u043d\u0438\u0435 PVS-Studio: V595 [CWE-476] The ‘ND’ pointer was utilized before it was verified against nullptr. Check lines: 532, 534. SemaTemplateInstantiateDecl.cpp 532<\/p>\n
    \u0418 \u0437\u0434\u0435\u0441\u044c:<\/p>\n