[gnutls-devel] GnuTLS | dead code in verify.c (#573)

[Development of GNU's TLS library]

New Issue was created.

Issue 573: https://gitlab.com/gnutls/gnutls/issues/573
Author:    Nikos Mavrogiannopoulos
Assignee:  

1. gnutls-3.6.4/lib/x509/verify.c:879: cond_at_least: Condition "clist_size > 1", taking true branch. Now the value of "clist_size" is at least 2.
2. gnutls-3.6.4/lib/x509/verify.c:892: decr: Decrementing "clist_size". The value of "clist_size" is now at least 1.
3. gnutls-3.6.4/lib/x509/verify.c:906: cond_at_least: Condition "i < clist_size", taking true branch. Now the value of "clist_size" is at least 1.
4. gnutls-3.6.4/lib/x509/verify.c:906: cond_at_least: Condition "i < clist_size", taking true branch. Now the value of "clist_size" is at least 2.
5. gnutls-3.6.4/lib/x509/verify.c:935: assignment: Assigning: "clist_size" = "i".
6. gnutls-3.6.4/lib/x509/verify.c:906: cond_at_least: Condition "i < clist_size", taking true branch. Now the value of "clist_size" is at least 3.
7. gnutls-3.6.4/lib/x509/verify.c:902: assignment: Assigning: "i" = "0".
8. gnutls-3.6.4/lib/x509/verify.c:906: incr: Incrementing "i". The value of "i" is now 1.
9. gnutls-3.6.4/lib/x509/verify.c:906: incr: Incrementing "i". The value of "i" is now 2.
10. gnutls-3.6.4/lib/x509/verify.c:906: incr: Incrementing "i". The value of "i" is now at least 3.
11. gnutls-3.6.4/lib/x509/verify.c:993: assignment: Assigning: "i" = "clist_size - 1".
12. gnutls-3.6.4/lib/x509/verify.c:995: cond_at_least: Condition "i - 1 < 0", taking false branch. Now the value of "i" is at least 1.
13. gnutls-3.6.4/lib/x509/verify.c:993: decr: Decrementing "i". The value of "i" is now at least 1.
14. gnutls-3.6.4/lib/x509/verify.c:993: cond_at_least: Condition "i > 0", taking true branch. Now the value of "i" is at least 1.
15. gnutls-3.6.4/lib/x509/verify.c:995: at_least: At condition "i - 1 < 0", the value of "i" must be at least 1.
16. gnutls-3.6.4/lib/x509/verify.c:995: dead_error_condition: The condition "i - 1 < 0" cannot be true.
17. gnutls-3.6.4/lib/x509/verify.c:996: dead_error_line: Execution cannot reach this statement: "break;".
#   994|   		output = 0;
#   995|   		if (i - 1 < 0)
#   996|-> 			break;
#   997|   
#   998|   		if (purpose != NULL) {

-- 
Reply to this email directly or view it on GitLab: https://gitlab.com/gnutls/gnutls/issues/573
You're receiving this email because of your account on gitlab.com.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.gnupg.org/pipermail/gnutls-devel/attachments/20180925/882213bd/attachment.html>