This is unexpected behavior. V720. An alternative would be to have the default setting of Wreturn-type depend on flag_isoc99. V516. MISRA. Value from the uninitialized optional is used. Upgrade to Microsoft Edge to take advantage of the latest features, security updates, and technical support. V3547. A Function procedure has at least one possible path through its code that does not return a value. Although GCC is able to analyze the code and determine that exactly one of the cases is executed (as shown in the supplement below), presumably this analysis occurs only later in the compilation process. The standard signal handling functions should not be used. Logical literal belongs to second operator with a higher priority. OWASP. Why Oracle let function (basic/nopipelined) without RETURN compile, and throws error in execution. The '&=' operation always sets a value of 'Foo' variable to zero. Object created using 'new' operator is immediately cast to another type. Consider inspecting this expression. My advice would be to create a new option Wreturn-pedantic. BSTR string becomes invalid. Interpreting non-statistically significant results: Do we have "no evidence" or "insufficient evidence" to reject the null? V3509. V788. V3524. Function returns pointer/reference to temporary local object. Uninitialized class member is used when initializing the base class. The comma operator should not be used. Intermodular analysis may be incomplete, as it is not run on all source files. V6058. So GCC knows there is no possible control path that does not return a value, but it reported the warning (elevated to an error) anyway. Unreachable code detected. MISRA. The 'Foo' function is called twice in the specified expression to calculate length of the same string. Constant expression in switch statement. It is suspicious that value 'X' is assigned to the variable 'Y' of HRESULT type. Use filter buttons or 'Don't Check Files' settings to enable message display. nlohmann/json.hpp:20017:5: warning: non-void function does not return a value in all control paths [-Wreturn-type] reference operator[](T* key) nlohmann/json.hpp:20925:5: warning: non-void function does not return a value in all control paths [-Wreturn-type] Not the answer you're looking for? It is suspicious that the value 'X' of HRESULT type is compared with 'Y'. MISRA. V2525. V2522. V3541. Browse other questions tagged, Where developers & technologists share private knowledge with coworkers, Reach developers & technologists worldwide. Suspicious sequence of types castings: memsize -> 32-bit integer -> memsize. I did return true and false but its still giving me this error [deleted] 2 yr. ago More posts you may like Value of 'char' type is added to a string pointer. This recommendation encompasses ERR33-C. Detect and handle standard library errors. Inspect the program's logic. MISRA. The assignment to a member of the readonly field will have no effect when the field is of a value type. MISRA. Block of memory should only be freed if it was allocated by a Standard Library function. V3066. The statement std::cout << "B" is never executed because the function has returned to the caller prior to that point. MISRA. Value of the expression should not be converted to the different essential type or the narrower essential type. This may lead to undefined behavior. You are assuming that loop will always run, but, what if an empty string ends up getting submitted? MISRA. Dangerous call of 'Foo' function. V679. You are assuming that loop will always run, but, what if an empty string ends up getting submitted? V528. V1040. Some of our partners may process your data as a part of their legitimate business interest without asking for consent. MISRA. V519. If expression is omitted, the return value of the function is undefined. It is possible that this 'else' branch must apply to the previous 'if' statement. however, it floods the compiler output. Any loop should be terminated with no more than one 'break' or 'goto' statement. Learn more about Stack Overflow the company, and our products. V3103. Execution of report_ratio "falls off the bottom" and returns no value to the caller. V1043. An exception handling block does not contain any code. OWASP. The 'continue' operator will terminate 'do { } while (FALSE)' loop because the condition is always false. Expression of the 'A =+ B' kind is used. V621. V6090. EOF should not be compared with a value of the 'char' type. V670. Extracting arguments from a list of function calls. Value is subtracted from unsigned variable. The 'continue' operator will terminate 'do { } while (false)' loop because the condition is always false. V2539. MISRA. V3068. Suspicious division: sizeof(X) / Value. V2531. V3138. Notice that BSTR strings store their length before start of the text. Consider inspecting the return statement. The size of the bit mask is less than the size of the first operand. The 'delete A, B' expression only destroys the 'A' object. OWASP. Use memsize-type here. Potentially tainted data is used in the path toextractthe file. V3528. Consider assigning the seed to a value not known at compile-time. Program contains an unused label and function call: 'CC:AA()'. It's probably an error or un-optimized code. Consider inspecting the expression. The loop will not be executed. V6098. The result of '&' operator is '0' because one of the operands is '0'. Suspicious semicolon ';' after 'if/for/while' operator. Value of 'A' type is assigned to a pointer of 'B' type. Two similar code fragments were found. Use volatile variable(s) or synchronization primitives to avoid this. Automatic unboxing of a variable may cause NullPointerException. The '&' or '|' operator is applied to bool type value. Use of outdated cryptographic algorithm is not recommended. Explicit conversion from memsize type to 32-bit integer type. V118. Suspicious simultaneous use of bitwise and logical operators. V595. If total energies differ across different software, how do I decide which software to use? V664. The 'X' counter is not used inside a nested loop. Consider using the 'int' type. V583. MISRA. V531. Buffer needs to be securely cleared on all execution paths. V756. 565), Improving the copy in the close modal and post notices - 2023 edition, New blog post from our CEO Prashanth: Community is the future of AI. The compiler makes no such assumptions, so you need to make sure that there is a return path that will be followed if the return statement inside your loop is never reached. Example of safe code: printf("%s", str); V619. V2555. Consider inspecting the program's logic. Dangerous cast of 'this' to 'void*' type in the 'Base' class, as it is followed by a subsequent cast to 'Class' type. V2611. V6093. A Function procedure has at least one possible path through its code that does not return a value. the first printHi() in the above example), were calling a function for its behavior, not its return value. Part of conditional expression is always true/false. Consider reviewing this value. OWASP. Check if program logic handles it correctly. The global namespace should only contain 'main', namespace declarations and 'extern "C"' declarations. V821. This presents the compiler with a contradicting declaration and return. MISRA. The hyperbolic space is a conformally compact Einstein manifold. The constant NN is being utilized. V3073. Consider casting operands, not the result. MISRA. V3548. The macro with the 'setjmp' name and the function with the 'longjmp' name should not be used. V642. Implicitly specified enumeration constants should be unique consider specifying non-unique constants explicitly. Note that throw_blah is the weird bit, not foo. Consider throwing it by value instead. Use 'double.isNaN()' method instead. Potentially tainted data is processed by regular expression that contains an unsafe pattern. Stack of original exception could be lost. The original exception object was swallowed. MISRA. V2543. Site design / logo 2023 Stack Exchange Inc; user contributions licensed under CC BY-SA. Possibility of decreased performance. Expression used in condition should have essential Boolean type. Recursive function call during the static/thread_local variable initialization might occur. Function execution could be deferred. It is suspicious that it is used as a variable of a Boolean-type. Review captured variable in lambda expression. Compound assignment expression is used inside condition. V3021. Consider replacing the expression 'AA' with 'BB'. V813. We and our partners use cookies to Store and/or access information on a device. Use volatile variable(s) or synchronization primitives to avoid this. Possible NullReferenceException. V692. Consider using '||' and '&&' instead. V565. The default is -Wunused-result. V711. V521. V2019. MISRA. Possible log injection. It is possible that type name was omitted: throw MyException(a, b);. MISRA. Trying to use the return value from the function will most likely cause a segmentation fault. V5001. OWASP. V012. Maximum size of a vector is known at compile time. A switch-expression should not have Boolean type. Macro expression is dangerous or suspicious. Dozens of bugs have been opened for this . It is possible that ',' comma is missing at the end of the string. Potentially unsafe double-checked locking. V628. Defining an absolute path to the file or directory is considered a poor style. Consider checking the first actual argument of the 'Foo' function. V3532. Functions are not required to return a value back to the caller. OWASP. Suspicious return of an always empty collection. For more information, see "Behavior" in Function Statement. Assign the value to the Function procedure name and then perform an Exit Function statement. It's possible that the line was commented out improperly, thus altering the program's operation logics. V2541. V696. Consider inspecting the 'for' operator. Sign in to comment Expression under 'throw' is a potential null, which can lead to NullReferenceException. Both operands of an operator should be of the same type category. V6073. Suspicious assignment inside the conditional expression of 'if/while/for' statement. Calling the 'SingleOrDefault' method may lead to 'InvalidOperationException'. Potentially tainted data is written into logs. MISRA. V2520. V008. By clicking Accept all cookies, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy. Two similar code fragments. privacy statement. V2012. Unity Engine. AUTOSAR. Possibly an incorrect HTML. Consider using the extended version of the 'foo' function here. Consider inspecting the '? Value of variable is not modified. V552. V6039. operator should have 'bool' type. Usage of non memsize type for pointer arithmetic. The variable of char type is compared with pointer to string. V1076. Consider reviewing the correctness of 'X' item's usage. It is suspicious that the result of the statement is a part of the condition. Void functions dont need a return statement. The 'then' statement is equivalent to the 'else' statement. V511. Conversions should not be performed between pointer to function and any other type.