warning non void function does not return a value warning non void function does not return a value

Memsize type is used in the struct/class. V5621. V6097. It is possible that an incorrect variable is compared with null after type conversion using 'dynamic_cast'. MISRA. Three potential reasons for issue the warning (elevated to an error) in spite of this come to mind: Due to the way the compiler is constructed, warnings are generally reported early, and suppressing this warning based on later analysis would be difficult. Variable length array types are not allowed. Consider passing the 'Foo' argument as a pointer/reference to const. Do not define an unnamed namespace in a header file. Which language's style guidelines should be used when writing code that is supposed to be called from another language? Consider inspecting the expression. V2564. V1095. Comma operator ',' in array index expression. V3013. V012. Parameter 'A' is always rewritten in method body before being used. The 'throw' keyword could be missing. V1027. V205. Why does an overridden function in the derived class hide other overloads of the base class? In this case, we have the 'main' function. One pair of parentheses is unnecessary or typo is present. Cannot determine active configuration for project. V1021. Probably meant: '\xNN'. V736. The field will have default value on different threads. It is possible that an error is present. Casts between a pointer to an incomplete type and any other type shouldn't be performed. V6045. V698. V772. It is possible literal was intended to belong to '??' Consider inspecting virtual function arguments. V5609. As a good engineering practice, always specify a return type for your functions. 55976 - -Werror=return-type should error on returning a value from a V669. When main calls printHi, the code in printHi executes, and Hi is printed. Thus, these functionsdo not result inundefined behavior. Consider utilizing 64-bit compiler if possible. The 'if (ptr != NULL)' check can be removed. - Nate Eldredge. Defining an absolute path to the file or directory is considered a poor style. V799. Implicit type conversion N argument of function 'foo' to memsize type. V3167. The 'throw' keyword could be missing. V1053. It is possible that a wrong variable is compared inside the 'for' operator. V825. Such functions are usually marked '[[noreturn]]'. The 'A' class contains 'Dispose' method. Casting potential 'null' value to a value type can lead to NullReferenceException. V684. OWASP. Generating points along line with specifying the origin of point generation in QGIS. V551. V614. V6073. V1057. Dangerous explicit type pointer conversion. V3541. The 'goto' statement shouldn't jump to a label declared earlier. MISRA. V764. Passing 'BSTR ' to the 'SysAllocString' function may lead to incorrect object creation. No handlers will be unsubscribed, as a separate delegate instance is created for each anonymous function declaration. V1079. V001. An identifier with array type passed as a function argument should not decay to a pointer. Conditional escape sequence in literal. An exception handling block does not contain any code. Connect and share knowledge within a single location that is structured and easy to search. OWASP. Consider checking the first actual argument of the 'Foo' function. V2523. It is possible that this 'else' branch must apply to the previous 'if' statement. The expression of strlen(MyStr.c_str()) kind can be rewritten as MyStr.length(). 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. A function should not call itself either directly or indirectly. It was deemed useful to report this warning as it typically results from inadvertent program design rather than intentional coverage of all cases with a redundant test. It is possible that 'i < X.size()' should be used instead of 'X.size()'. V3063. Consider declaring it as a reference. V109. Consider inspecting the expression. V1025. The operator '||' operator is surrounded by opposite expressions 'x' and '!x'. AUTOSAR. Odd semicolon ';' after 'if/for/while' operator. V2566. Sign in V6084. V6028. This value is already assigned to the 'b' variable. Consider using a comparison with defined precision: fabs(A - B) < Epsilon or fabs(A - B) > Epsilon. V3154. V2578. V659. Object is used as an argument to its own method. An empty container is iterated. V6058. Check the array initialization. The "" closing tag was encountered, while the "" tag was expected. V6051. AUTOSAR. Decreased performance. A 'wchar_t *' type string is incorrectly converted to 'BSTR' type string. The operator evaluates both operands. Perhaps, this is a typo and 'X' variable should be used instead of 'Y'. Object created using 'new' operator is immediately cast to another type. Single-line comments should not end with a continuation token. V2607. V3034. The '? Possibly, an override was intended. The size of the dynamic array can be less than the number of elements in the initializer. V573. MISRA. V687. Consider implementing event accessors explicitly or use 'sealed' keyword. Syntax: return[expression]; There are various ways to use return statements. MISRA. MISRA. The 'i' variable should probably be incremented instead of the 'n' variable. Decreased performance. No return statement is required. V5601. A pointer/reference parameter in a function should be declared as pointer/reference to const if the corresponding object was not modified. V592. V540. V636. V121. Why does Acts not mention the deaths of Peter and Paul? V5011. Perhaps another variable should be incremented instead. V125. This leads to the variable binding to a temporary object instead of a range element. The conditional expressions of the 'if' statements situated alongside each other are identical. V518. MISRA. Size of a pointer is divided by another value. the platforms: Continuous use of the analyzer in software development, Deploying the analyzer in cloud Continuous Integration services, Additional configuration and resolving issues. No locking will be performed. Parameter is always rewritten in function body before being used. Consider inspecting the 'switch' statement. Consider inspecting the loop expression. MISRA. MISRA. V3175. V818. An early return is a return statement that occurs before the last line of a function. MISRA. Buffer overflow is possible. V638. The compiler has been asked to warn when a function has a control path that doesn't return a value (although not mentioned in the message, throwing a value and possibly calling a non-returning function may also be considered acceptable). The return statement - IBM Potential logical error. Use memsize-type here. V3088. Unary minus operator should not be applied to an expression of the unsigned type. V1070. V676. V517. V3184. OWASP. By clicking Post Your Answer, you agree to our terms of service, privacy policy and cookie policy. Function is not declared. V3528. The 'if (A) {} else if (A) {}' pattern was detected. OWASP. V503. V3186. Storing credentials inside source code can lead to security issues. V1026. Unsafe dereference of a WeakReference target. The expression, if present, is evaluated and then converted to the type returned by the function. V817. The 'a % b' expression always evaluates to 0. V778. V3062. V1022. V2612. V6026. Incorrect type of a loop variable. V2531. V604. Parameter is not used inside method's body. MISRA. The assignment to a member of the readonly field will have no effect when the field is of a value type. Incorrect index type: 'foo[not a memsize-type]'. Some statements require values to be provided, and others dont. The identifier 'main' should not be used for a function other than the global function 'main'. V5604. It is highly probable that the semicolon ';' is missing after 'return' keyword. There is an easy solution to the problem, even if we understand that every condition is covered we should add a return statement at the end of the function so the compiler is sure that the non-void function will be returning some value. Consider inspecting the return statement. The predefined identifier '__func__' always contains the string 'operator()' inside function body of the overloaded 'operator()'. MISRA. A function with a non-void return type must return an answer no matter what its parameters are. Pointer is used both as an array and as a pointer to single object. Non-void functions are required to have a return type. Consider inspecting the expression. V802. Compound assignment expression is used inside condition. V1008. The object of non-passive (non-PDS) type cannot be used with the function. Consider reviewing 'X'. V699. Boundary between numeric escape sequence and string is unclear. Comparison of arrays, strings, collections by reference. V701. Arguably, this is a shortcoming in the compiler. OWASP. An odd sequence of assignments of this kind: A = B; B = A; V3038. A value-returning function should include a return statement, containing an expression. See documentation for details. V3115. V2616. The code fragment is equivalent to the following: Note that undefined behavior occurs only if the end of a non-void function is actually reached. The value of a composite expression should not be assigned to an object with wider essential type. The best answers are voted up and rise to the top, Not the answer you're looking for? The 'std::uncaught_exception' function is deprecated since C++17 and is removed in C++20. MISRA. V3011. It is possible that a typo is present inside the expression. MISRA. It is possible that these are misprints and 'default:' label should be used instead. V3081. It is safer to use the 'foo' function. Insecure XML parser is used to process potentially tainted data. V3082. English version of Russian proverb "The hedgehogs got pricked, cried, but continued to eat the cactus". The pointer in the expression equals nullptr. Be advised that the size of the type 'long' varies between LLP64/LP64 data models. Unreachable code detected. Assigning the value C to the X variable looks suspicious. Generic Doubly-Linked-Lists C implementation. Casts between a pointer and a non-integer arithmetic type should not be performed. Suspicious division. Attempt to free memory containing the 'int A[10]' array by using the 'free(A)' function. Variable is not passed into foreach loop by reference, but its value is changed inside of the loop. V527. V2589. There is a probability of logical error presence. Operand that is a composite expression has more narrow essential type than the other operand. V588. Continue with Recommended Cookies. V591. Non-void function must return value. An array/object was declared but was not utilized. If you do this, the last statement before End Function should be a Return statement. V6039. Error on missing return statement under GCC. Priority of '+' operation is higher than priority of '<<' operation. No more than one iteration of the loop will be performed. Some diagnostic messages may contain incorrect line number. When a return statement contains an expression in functions that have a void return type, the compiler generates a warning, and the expression isn't evaluated. The variable is incremented in the loop. The analysis results could be incomplete. Adding EV Charger (100A) in secondary panel (100A) fed off main (200A). Suspicious bitwise operation was detected. V747. Two opposite conditions were encountered. Potentially infinite loop. Consider inspecting the 'for' operator. V721. V695. It is suspicious that the value 'X' of HRESULT type is compared with 'Y'. V561. Use direct analyzer integration or compiler monitoring instead. InvalidClassException may occur during deserialization. AUTOSAR. V674. Does the 500-table limit still apply to the latest version of Cassandra? Calling the 'delete' operator for a void pointer will cause undefined behavior. Conditional expression of 'if' statement is incorrect for the HRESULT type value 'Foo'. A switch-label should only appear at the top level of the compound statement forming the body of a 'switch' statement. V585. This expression can be simplified. How to force Mathematica to return `NumericQ` as True when aplied to some variable in Mathematica? V2012. And if candidate_count is 0 or negative it will return without a value at all (hence the error). It is possible that a typo is present inside the expression. Empirical analysis. V5008. We discuss the debate over early returns in lesson 7.10 -- Break and continue. Expression of essential type 'foo' should not be explicitly cast to essential type 'bar'. This may lead to undefined behavior. Such absolute value can't be represented in two's complement. V3047. Your message has been sent. If no return statement appears in a function definition, control automatically returns to the calling function after the last statement of the called function is executed. Potentially unsafe double-checked locking. V717. Object slicing. Typedef names should be unique across all name spaces. V2009. V1072. ", "!"? V509. Constant expression in switch statement. What differentiates living as mere roommates from living in a marriage-like relationship? Perhaps the '??' V3143. This means that the second 'if' statement is senseless. By clicking Accept all cookies, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy. The 'if' 'else if' construct should be terminated with an 'else' statement. V007. OWASP. Just make it return, @NathanOliver One could imagine a slightly more complex example which was fully reasonable, like. Function receives suspicious argument. MISRA. Cast should not remove 'const' / 'volatile' qualification from the type that is pointed to by a pointer or a reference. Unary minus operator does not modify a bool type value. nlohmann/json.hpp:20925:5: warning: non-void function does not return a value in all control paths [-Wreturn-type], const_reference operator[](const typename object_t::key_type& key) const Consider adding the 'cin.fail()' function call to the conditional expression. V2569. V5605. Assign the value to the Function procedure name and then perform an Exit Function statement. There should be no occurrence of undefined or critical unspecified behaviour. Why don't we use the 7805 for car phone chargers? Variables are initialized through the call to the same function. V3016. Suspicious expression 'A[B < C]'. The resulting value is meaningless and should not be used. Check lines: N1, N2. V3151. Functions are not required to return a value back to the caller. So, the solution is to apply the warn_unused_result attribute on the function. :' operator has a lower priority than the 'foo' operator. Consider inspecting the 'for' operator. I am writing a function to validate if the strlen of a string = 26 or not and returning a boolean value however I get an error message stating "error: non-void function does not return a value in all control paths [-Werror,-Wreturn-type]" despite there being no way for a value not to be returned. The alignment rules and type sizes have been changed. The expression was enclosed by parentheses twice: ((expression)). To determine the length of a string by 'strlen' function correctly, use a string ending with a null terminator in the first place. Its representation is implementation-defined. MISRA. MISRA. B is never printed because the statement never executes. So it does not know if the second strlen will return the same value as the first one. Pattern A || (A && ) was detected. Signed integer overflow in arithmetic expression. Flowing off the end of thesefunctions is equivalent to a'return 0;'. i'm not sure if this is intentional behavior. Which ability is most related to insanity: Wisdom, Charisma, Constitution, or Intelligence? Unlike this recommendation, that rule is restricted to functions from the Standard C library. V600. It's possible that the loop will be executed incorrectly or won't be executed at all. Use volatile variable(s) or synchronization primitives to avoid this. V691. V1096. V1047. A boy can regenerate, so demons eat him for years. V2601. V519. V3086. Since the second call to std::cout does not provide a value to be printed, this causes an error. Probably the '+=' should be used here. Number of iterations in loop equals size of a pointer. V2511. There are two 'if' statements with identical conditional expressions. Consider inspecting the 'for' operator. AUTOSAR. V6074. V3519. AUTOSAR. The function with the 'atof/atoi/atol/atoll' name should not be used. V505. V753. The initial value of the index in the nested loop equals 'i'. OWASP. The expression is checked for compatibility with type 'A', but is cast to type 'B'. Range intersections are possible within conditional expressions. V3540. The reference was used before it was verified against null. V6072. V3092. V3060. V693. V1005. Consider inspecting the expression. How to Make a Black glass pass light through it? V3066. V6046. Object was created but not used. return expressionopt ; The value of expression, if present, is returned to the calling function. V539. V3136. Particularly, if during the function execution an exception is thrown and is not caught in the body of the same function, there will be no undefined behavior. But below is not the case so why does it get compile, is there something else expected by Oracle. Browse other questions tagged, Where developers & technologists share private knowledge with coworkers, Reach developers & technologists worldwide, If you are never going to return something, why do you declare the function as doing so? MISRA. Potentially tainted data might be used to execute a malicious script. V221. Consider checking the first actual argument of the 'Foo' method. V6077. V2529. MISRA. Unbounded functions performing string operations should not be used. Sign up for a free GitHub account to open an issue and contact its maintainers and the community. V3125. It is possible that 'else' block was forgotten or commented out, thus altering the program's operation logics. OWASP. Probably meant: *ptr = zero. Returning a value from a void function is a compile error. V5616. A bool type variable is incremented. Empty exception handler. This condition was already verified in previous line. V584. V5628. V680. Suspicious simultaneous use of bitwise and logical operators. V6042. Congratulations! 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] My advice would be to create a new option Wreturn-pedantic. Make sure the expression is correct. Pointer is dereferenced on the initialization list before its check for null inside the body of a constructor function. This variable is passed by reference to the 'Foo' function in which its value will be used. Type casting is used 2 times in a row. AUTOSAR. A terminal null is present inside a string. V3004. The function is deprecated in the Win64 system. MISRA. Call 'Dispose' when disposing 'A' class. caeser - Getting "non-void function does not return a value in all V742. Do not concatenate string literals with different prefixes. Consider specifying execution policy explicitly. Program contains an unused label and function call: 'CC:AA()'. Analysis aborted by timeout. The 'malloc' function allocates suspicious amount of memory calculated by 'strlen(expr)'. Array size should be specified explicitly when array declaration uses designated initialization. AUTOSAR. [Serializable] attribute is missing. One of the operands in the operation equals NN. Browse other questions tagged, Where developers & technologists share private knowledge with coworkers, Reach developers & technologists worldwide, FWIW, compiling the example code on godbolt.org with, @EricPostpischil but compiler does not know if, Yes, it does know. V586. AUTOSAR. V690. V3157. Expression's value is copied at the variable declaration. Use memsize type instead. V1023. Consider inspecting the NN argument of the 'Foo' function. V6043. It is advised to pass arguments to std::unary_function/std::binary_function template as references. Possible NullReferenceException. Possibly an equality comparison was intended. A pattern was detected: A || (A && ). V2521. V765. This file is marked with copyleft license, which requires you to open the derived source code. V762. V3181. The 'new type(n)' pattern was detected. Not the answer you're looking for? WPF: readonly field of 'DependencyProperty' type is not initialized. The 'throw' keyword could be missing. The expression of 'foo(foo(x))' pattern is excessive or contains an error. V634. There is no point to declare constant reference to a number. Already have an account? MISRA. NullReferenceException is possible. Line whose first token is '#' should be a valid preprocessing directive. The '? V3027. It is suspicious that the 'foo' field in derived class overwrites field in base class. Potentially unsafe double-checked locking. One of the operands in the operation equals NN. MISRA. As we know pipelined function doesn't require Return, because of its working and for best programming practice we write it. Probably the '-=' should be used here. V755. V507. An unconditional 'break/continue/return/goto' within a loop. Pointer was used unsafely after its check for nullptr. V6095. Consider making the project fully compilable and building it before analysis. V3049. (Experienced programmers will generally use a solitary. It makes code less human error prone. More than N bits are required to store the value, but the expression evaluates to the T type which can only hold K bits. Variable of the 'string_view' type references a temporary object, which will be removed after evaluation of an expression. V3542. V1076. V122. MISRA. Both operands of an operator should be of the same type category. V525. A minor scale definition: am I missing something? V005. V1030. V2585. V744. It's possible that ',' should be replaced by ';'. Identifiers that start with '__' or '_[A-Z]' are reserved. The expression is excessive or contains a logical error. If you are treating warnings as errors, you may need to temporary disable that setting in order to compile the example. Use 'double.IsNaN()' method instead. V3534. An excessive type cast or check. Do not use real-type variables as loop counters. Unable to start the analysis on this file. V678. Constant value is represented by an octal form. V207. Can the game be left in an invalid state if all state-based actions are replaced? V1069. Consider inspecting the condition. V831. Annotation that does not have 'RUNTIME' retention policy will not be accessible through Reflection API. Presence of #line directives may cause some diagnostic messages to have incorrect file name and line number. Consider using a comparison with defined precision: Math.Abs(A - B) < Epsilon or Math.Abs(A - B) > Epsilon. How to Make a Black glass pass light through it? An item with the same key has already been added. The switch statement does not cover all values of the enum. Bit shifting of the 32-bit value with a subsequent expansion to the 64-bit type. Suspicious access to element by a constant index inside a loop. Serialization order of fields should be preserved during deserialization. If a return value isn't required, declare the function to have void return type. But, do are you sure you want your return statement inside your loop to begin with? MISRA. Variable is assigned but not used by the end of the function. (This const / volatile distinction is not important.) Declaration should contain no more than two levels of pointer nesting. V3166. Comparison with 'double.NaN' is meaningless. V1092. Argument of abs() function is minimal negative value. Explicit type conversion from memsize to double type or vice versa. Then main returns a value of 0 (typically used to report success) to end the program. V1063. The compiler has been asked to treat warnings as errors. MISRA. AUTOSAR. Replace iterator++ with ++iterator. Function printHi has a void return type, meaning it doesnt return a value. V598. Return value is not always used. MISRA. It is not recommended to return null or throw exceptions from 'toString' / 'clone' methods. AUTOSAR. It is suspicious that value 'X' is assigned to the variable 'Y' of HRESULT type. Expression of the 'A - B > 0' kind will work as 'A != B'. V3171. V5608. Suspicious sequence of types castings: pointer -> memsize -> 32-bit integer. V6044. density matrix. The 'memset/memcpy' function is used to nullify/copy fields of 'Foo' class.