Лабораторная работа №3. Утюгов Денис. 381906-2 #50

Sindeguru · 2022-05-27T20:37:31Z

No description provided.

ElizJogar · 2022-05-28T11:21:03Z

main.cpp


    void run(const MatchFinder::MatchResult &Result) override {
-        // Your code goes here
+
+        const auto *CastExpr = Result.Nodes.getNodeAs<CStyleCastExpr>("cast");


What if CastExpr is a null pointer? How to protect the program from crashing in such cases?

Как сказано во втором вопросе, это приводит к сбоям. Тогда необходимо добавить условие, предотвращающее такую ситуацию:

if (CastExpr == nullptr) return;

ElizJogar · 2022-05-28T11:21:21Z

main.cpp

-        // Your code goes here
+
+        const auto *CastExpr = Result.Nodes.getNodeAs<CStyleCastExpr>("cast");
+        auto newRange = CharSourceRange::getCharRange(CastExpr->getLParenLoc(), CastExpr->getSubExprAsWritten()->getBeginLoc());


Please describe the difference between getSubExprAsWritten()->getBeginLoc() and getRParenLoc().getLocWithOffset(1).

getSubExprAsWritten()->getBeginLoc() указывает на начало названия переменной, а getRParenLoc().getLocWithOffset(1) указывает символы после закрывающей скобки типа.

Рассмотрим такой пример:

int main() { float foo; int i = (int) foo ; return 0; }

В случае с getRParenLoc().getLocWithOffset(1) все, что было после закрывающей скобки до точки с запятой :

int main() { float foo; int i = static_cast<int>( foo) ; return 0; }

Но, используя getSubExprAsWritten()->getBeginLoc() мы получаем просто название:

int main() { float foo; int i = static_cast<int>(foo) ; return 0; }

Поэтому использование getSubExprAsWritten()->getBeginLoc() является верным решением.

Sorry but I don't understand the explanation:
В случае с getRParenLoc().getLocWithOffset(1) все, что было после закрывающей скобки до точки с запятой :
Но, используя getSubExprAsWritten()->getBeginLoc() мы получаем просто название:.

Это пояснения к примерам. Первый пример кода - то, что подается.
В случае getRParenLoc().getLocWithOffset(1) сохранились пробелы, так как "захват" шел с закрывающей скобки, а в случае с getSubExprAsWritten()->getBeginLoc() - пробелов нет и мы получаем название переменной, так как "захват" шел с первого символа названия переменной.

ElizJogar · 2022-05-28T11:21:38Z

main.cpp

+        auto newRange = CharSourceRange::getCharRange(CastExpr->getLParenLoc(), CastExpr->getSubExprAsWritten()->getBeginLoc());
+        auto &sManager = *Result.SourceManager;
+
+        auto sText = Lexer::getSourceText(CharSourceRange::getTokenRange(CastExpr->getLParenLoc().getLocWithOffset(1),


Please describe the difference between the use of getCharRange() and getTokenRange() with examples.

What will be the deduced type of the sText variable?

getCharRange() возвращает range символов до последнего символа включительно, а getTokenRange() возвращает range токенов до начала последнего токена.

auto charRange = Lexer::getAsCharRange( CharSourceRange::getCharRange(node->getLParenLoc().getLocWithOffset(1), node->getRParenLoc().getLocWithOffset(-2)), SM, Result.Context->getLangOpts()); auto tokenRange = Lexer::getAsCharRange( CharSourceRange::getTokenRange(node->getLParenLoc().getLocWithOffset(1), node->getRParenLoc().getLocWithOffset(-2)), SM, Result.Context->getLangOpts()); llvm::outs() << "\n char range start: " << charRange.getBegin().printToString(SM) << ",\n char range end: " << charRange.getEnd().printToString(SM) << "\n"; llvm::outs() << "\n token range start: " << tokenRange.getBegin().printToString(SM) << ",\n token range end: " << tokenRange.getEnd().printToString(SM) << "\n";

Вывод:

char range start: /UNN-C-Style-Checker/test/test.cpp:3:14, char range end: /UNN-C-Style-Checker/test/test.cpp:3:15 token range start: /UNN-C-Style-Checker/test/test.cpp :3:14, token range end: /UNN-C-Style-Checker/test/test.cpp:3:17

Для примера:

int main() { float foo; int i = (int) foo ; return 0; }

sText - llvm::StringRef

• getCharRange() returns range specifying the starting/ending character by the specified locations.
• getTokenRange() returns range specifying the start of the range and the start of the last token of the range.

ElizJogar · 2022-05-28T11:22:03Z

main.cpp

+        auto sText = Lexer::getSourceText(CharSourceRange::getTokenRange(CastExpr->getLParenLoc().getLocWithOffset(1),
+                                              CastExpr->getRParenLoc().getLocWithOffset(-1)), sManager, LangOptions());
+
+        const auto *mesneExpr = CastExpr->getSubExprAsWritten()->IgnoreImpCasts();


Please describe why you are using here getSubExprAsWritten() and IgnoreImpCasts().
What would be the difference with the use of getSubExprAsWritten()->IgnoreImpCasts(), getSubExpr()->IgnoreImpCasts() and getSubExprAsWritten()?

getSubExprAsWritten() получает подвыражение приведения в том виде, в каком оно было записано в исходном коде, просматривая любые неявные приведения или другие промежуточные узлы, введенные семантическим анализом. Затем используется IgnoreImpCasts() для того, чтобы игнорировать любые неявные приведения типов, которые могут окружать это выражение.
У нас есть test.cpp. Запуская код из файла, можно заметить, что не будет иметь значения, будем ли мы использовать getSubExprAsWritten() с/без IgnoreImpCasts(). getSubExprAsWritten()->IgnoreImpCasts(), так как getSubExpr()->IgnoreImpCasts() и getSubExprAsWritten() дадут нам один и тот же результат.
Чтобы продемонстрировать это более наглядно, давайте запустим следующее:

llvm::outs() << "getSubExprAsWritten()->IgnoreImpCasts(): " << castNode->getSubExprAsWritten()->IgnoreImpCasts()->getStmtClassName(); llvm::outs() << "getSubExpr()->ignoreImpCasts(): " << castNode->getSubExpr()->IgnoreImpCasts()->getStmtClassName(); llvm::outs() << "getSubExprAsWritten(): " << castNode->getSubExprAsWritten()->getStmtClassName();

Получаем такой результат. На выходе будет ImplicitCastExpr, так как getSubExpr() извлекает первое подвыражение приведения.:

getSubExprAsWritten()->IgnoreImpCasts(): DeclRefExpr getSubExpr()->ignoreImpCasts(): DeclRefExpr getSubExprAsWritten(): DeclRefExpr

ElizJogar · 2022-05-28T11:25:04Z

How to prevent parentheses from being added if they are already present in the (int)(f) code?
How to prevent changing the C style cast code for a special case - when we want to suppress warnings about unused variables?
How to prevent changing the C style cast code in macros?

Please provide code examples.

Sindeguru · 2022-05-28T20:05:41Z

How to prevent parentheses from being added if they are already present in the (int)(f) code?

Для предотвращения возникновения нежеланных скобок можно использовать в нашем исходном выражении isa<ParenExpr> для проверки того, заключено ли оно в скобки:

if (!isa<ParenExpr>(CastExpr->getSubExprAsWritten()->IgnoreImpCasts())) 
    newText.append("(");
const auto endLoc = Lexer::getLocForEndOfToken(newExpr->getEndLoc(), 0, sManager, LangOptions());
if (!isa<ParenExpr>(CastExpr->getSubExprAsWritten()->IgnoreImpCasts())) 
    _rewriter.InsertText(endLoc, ")");

How to prevent changing the C style cast code for a special case - when we want to suppress warnings about unused variables?

Для ответа на второй вопроса мы можем поместить переменную в выражение (void), чтобы компилятор понимал, что она используется.
Пример с StackOverflow:

void foo(int param1, int param2)
{
    (void)param2;
    bar(param1);
}

или

if (CastExpr->getCastKind() == CK_ToVoid) 
    return;

How to prevent changing the C style cast code in macros?

Для предотвращения изменения кода в макросах мы добавляем проверку:

if (CastExpr->getExprLoc().isMacroID()) 
    return;

ElizJogar · 2022-05-29T08:50:55Z

How to prevent parentheses from being added if they are already present in the (int)(f) code?

Для предотвращения возникновения нежеланных скобок можно использовать в нашем исходном выражении isa<ParenExpr> для проверки того, заключено ли оно в скобки:
if (!isa<ParenExpr>(CastExpr->getSubExprAsWritten()->IgnoreImpCasts())) 
    newText.append("(");
const auto endLoc = Lexer::getLocForEndOfToken(newExpr->getEndLoc(), 0, sManager, LangOptions());
if (!isa<ParenExpr>(CastExpr->getSubExprAsWritten()->IgnoreImpCasts())) 
    _rewriter.InsertText(endLoc, ")");
How to prevent changing the C style cast code for a special case - when we want to suppress warnings about unused variables?

Для ответа на второй вопроса мы можем поместить переменную в выражение (void), чтобы компилятор понимал, что она используется. Пример с StackOverflow:
void foo(int param1, int param2)
{
    (void)param2;
    bar(param1);
}
или
if (CastExpr->getCastKind() == CK_ToVoid) 
    return;
How to prevent changing the C style cast code in macros?

Для предотвращения изменения кода в макросах мы добавляем проверку:
if (CastExpr->getExprLoc().isMacroID()) 
    return;

How to prevent changing the C style cast code for a special case - when we want to suppress warnings about unused variables?
From your description, I could not understand what exactly you will use in your solution to prevent changing the C-style cast for unused variables.

Sindeguru · 2022-05-29T11:31:47Z

How to prevent parentheses from being added if they are already present in the (int)(f) code?

Для предотвращения возникновения нежеланных скобок можно использовать в нашем исходном выражении isa<ParenExpr> для проверки того, заключено ли оно в скобки:
if (!isa<ParenExpr>(CastExpr->getSubExprAsWritten()->IgnoreImpCasts())) 
    newText.append("(");
const auto endLoc = Lexer::getLocForEndOfToken(newExpr->getEndLoc(), 0, sManager, LangOptions());
if (!isa<ParenExpr>(CastExpr->getSubExprAsWritten()->IgnoreImpCasts())) 
    _rewriter.InsertText(endLoc, ")");
How to prevent changing the C style cast code for a special case - when we want to suppress warnings about unused variables?

Для ответа на второй вопроса мы можем поместить переменную в выражение (void), чтобы компилятор понимал, что она используется. Пример с StackOverflow:
void foo(int param1, int param2)
{
    (void)param2;
    bar(param1);
}
или
if (CastExpr->getCastKind() == CK_ToVoid) 
    return;
How to prevent changing the C style cast code in macros?

Для предотвращения изменения кода в макросах мы добавляем проверку:
if (CastExpr->getExprLoc().isMacroID()) 
    return;
How to prevent changing the C style cast code for a special case - when we want to suppress warnings about unused variables?
From your description, I could not understand what exactly you will use in your solution to prevent changing the C-style cast for unused variables.

Для подавления таких предупреждений часто помещают переменную в выражение (void), т.е. (void)var;
Если посмотреть на второй пример (который после "или"), то там, для избегания появления предупреждения о неиспользуемых переменных используется метод CastExpr->getCastKind(). И если в итоге он возвращает CK_ToVoid, то вызывается return. По идее, этого достаточно...

ElizJogar · 2022-05-29T12:45:47Z

How to prevent parentheses from being added if they are already present in the (int)(f) code?

Для предотвращения возникновения нежеланных скобок можно использовать в нашем исходном выражении isa<ParenExpr> для проверки того, заключено ли оно в скобки:
if (!isa<ParenExpr>(CastExpr->getSubExprAsWritten()->IgnoreImpCasts())) 
    newText.append("(");
const auto endLoc = Lexer::getLocForEndOfToken(newExpr->getEndLoc(), 0, sManager, LangOptions());
if (!isa<ParenExpr>(CastExpr->getSubExprAsWritten()->IgnoreImpCasts())) 
    _rewriter.InsertText(endLoc, ")");
How to prevent changing the C style cast code for a special case - when we want to suppress warnings about unused variables?

Для ответа на второй вопроса мы можем поместить переменную в выражение (void), чтобы компилятор понимал, что она используется. Пример с StackOverflow:
void foo(int param1, int param2)
{
    (void)param2;
    bar(param1);
}
или
if (CastExpr->getCastKind() == CK_ToVoid) 
    return;
How to prevent changing the C style cast code in macros?

Для предотвращения изменения кода в макросах мы добавляем проверку:
if (CastExpr->getExprLoc().isMacroID()) 
    return;
How to prevent changing the C style cast code for a special case - when we want to suppress warnings about unused variables?
From your description, I could not understand what exactly you will use in your solution to prevent changing the C-style cast for unused variables.
Для подавления таких предупреждений часто помещают переменную в выражение (void), т.е. (void)var; Если посмотреть на второй пример (который после "или"), то там, для избегания появления предупреждения о неиспользуемых переменных используется метод CastExpr->getCastKind(). И если в итоге он возвращает CK_ToVoid, то вызывается return. По идее, этого достаточно...

Если посмотреть на второй пример (который после "или"), то там, для избегания появления предупреждения о неиспользуемых переменных используется методCastExpr->getCastKind().
This suggestion is incorrect.

Sindeguru · 2022-05-29T13:10:15Z

How to prevent parentheses from being added if they are already present in the (int)(f) code?

Для предотвращения возникновения нежеланных скобок можно использовать в нашем исходном выражении isa<ParenExpr> для проверки того, заключено ли оно в скобки:
if (!isa<ParenExpr>(CastExpr->getSubExprAsWritten()->IgnoreImpCasts())) 
    newText.append("(");
const auto endLoc = Lexer::getLocForEndOfToken(newExpr->getEndLoc(), 0, sManager, LangOptions());
if (!isa<ParenExpr>(CastExpr->getSubExprAsWritten()->IgnoreImpCasts())) 
    _rewriter.InsertText(endLoc, ")");
How to prevent changing the C style cast code for a special case - when we want to suppress warnings about unused variables?

Для ответа на второй вопроса мы можем поместить переменную в выражение (void), чтобы компилятор понимал, что она используется. Пример с StackOverflow:
void foo(int param1, int param2)
{
    (void)param2;
    bar(param1);
}
или
if (CastExpr->getCastKind() == CK_ToVoid) 
    return;
How to prevent changing the C style cast code in macros?

Для предотвращения изменения кода в макросах мы добавляем проверку:
if (CastExpr->getExprLoc().isMacroID()) 
    return;
How to prevent changing the C style cast code for a special case - when we want to suppress warnings about unused variables?
From your description, I could not understand what exactly you will use in your solution to prevent changing the C-style cast for unused variables.
Для подавления таких предупреждений часто помещают переменную в выражение (void), т.е. (void)var; Если посмотреть на второй пример (который после "или"), то там, для избегания появления предупреждения о неиспользуемых переменных используется метод CastExpr->getCastKind(). И если в итоге он возвращает CK_ToVoid, то вызывается return. По идее, этого достаточно...
Если посмотреть на второй пример (который после "или"), то там, для избегания появления предупреждения о неиспользуемых переменных используется методCastExpr->getCastKind(). This suggestion is incorrect.

Я имел в виду использование метода в условии, а не сам метод. Сам по себе метод CastExpr->getCastKind() вызывает тип приведения. И делается проверка, равно ли оно CK_ToVoid.

ElizJogar · 2022-05-29T13:41:00Z

How to prevent parentheses from being added if they are already present in the (int)(f) code?

Для предотвращения возникновения нежеланных скобок можно использовать в нашем исходном выражении isa<ParenExpr> для проверки того, заключено ли оно в скобки:
if (!isa<ParenExpr>(CastExpr->getSubExprAsWritten()->IgnoreImpCasts())) 
    newText.append("(");
const auto endLoc = Lexer::getLocForEndOfToken(newExpr->getEndLoc(), 0, sManager, LangOptions());
if (!isa<ParenExpr>(CastExpr->getSubExprAsWritten()->IgnoreImpCasts())) 
    _rewriter.InsertText(endLoc, ")");
How to prevent changing the C style cast code for a special case - when we want to suppress warnings about unused variables?

Для ответа на второй вопроса мы можем поместить переменную в выражение (void), чтобы компилятор понимал, что она используется. Пример с StackOverflow:
void foo(int param1, int param2)
{
    (void)param2;
    bar(param1);
}
или
if (CastExpr->getCastKind() == CK_ToVoid) 
    return;
How to prevent changing the C style cast code in macros?

Для предотвращения изменения кода в макросах мы добавляем проверку:
if (CastExpr->getExprLoc().isMacroID()) 
    return;
How to prevent changing the C style cast code for a special case - when we want to suppress warnings about unused variables?
From your description, I could not understand what exactly you will use in your solution to prevent changing the C-style cast for unused variables.
Для подавления таких предупреждений часто помещают переменную в выражение (void), т.е. (void)var; Если посмотреть на второй пример (который после "или"), то там, для избегания появления предупреждения о неиспользуемых переменных используется метод CastExpr->getCastKind(). И если в итоге он возвращает CK_ToVoid, то вызывается return. По идее, этого достаточно...
Если посмотреть на второй пример (который после "или"), то там, для избегания появления предупреждения о неиспользуемых переменных используется методCastExpr->getCastKind(). This suggestion is incorrect.
Я имел в виду использование метода в условии, а не сам метод. Сам по себе метод CastExpr->getCastKind() вызывает тип приведения. И делается проверка, равно ли оно CK_ToVoid.

I still don't understand what you want to use in your solution to prevent changing a C style cast to a C++ style cast for cases like this. Please update the code.

Sindeguru · 2022-05-29T14:01:43Z

Добавил

Complete c-style-cast-checker task

6f3285b

ElizJogar reviewed May 28, 2022

View reviewed changes

fix

824b4d1

ElizJogar approved these changes May 29, 2022

View reviewed changes

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Лабораторная работа №3. Утюгов Денис. 381906-2 #50

Лабораторная работа №3. Утюгов Денис. 381906-2 #50

Sindeguru commented May 27, 2022

ElizJogar May 28, 2022

Sindeguru May 28, 2022

ElizJogar May 28, 2022

Sindeguru May 28, 2022

ElizJogar May 29, 2022

Sindeguru May 29, 2022 •

edited

Loading

ElizJogar May 28, 2022

ElizJogar May 28, 2022

Sindeguru May 28, 2022

ElizJogar May 29, 2022

ElizJogar May 28, 2022

Sindeguru May 28, 2022

ElizJogar commented May 28, 2022

Sindeguru commented May 28, 2022 •

edited

Loading

ElizJogar commented May 29, 2022

Sindeguru commented May 29, 2022 •

edited

Loading

ElizJogar commented May 29, 2022

Sindeguru commented May 29, 2022 •

edited

Loading

ElizJogar commented May 29, 2022

Sindeguru commented May 29, 2022

Лабораторная работа №3. Утюгов Денис. 381906-2 #50

Are you sure you want to change the base?

Лабораторная работа №3. Утюгов Денис. 381906-2 #50

Conversation

Sindeguru commented May 27, 2022

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Sindeguru May 29, 2022 • edited Loading

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

ElizJogar commented May 28, 2022

Sindeguru commented May 28, 2022 • edited Loading

ElizJogar commented May 29, 2022

Sindeguru commented May 29, 2022 • edited Loading

ElizJogar commented May 29, 2022

Sindeguru commented May 29, 2022 • edited Loading

ElizJogar commented May 29, 2022

Sindeguru commented May 29, 2022

Sindeguru May 29, 2022 •

edited

Loading

Sindeguru commented May 28, 2022 •

edited

Loading

Sindeguru commented May 29, 2022 •

edited

Loading

Sindeguru commented May 29, 2022 •

edited

Loading