Skip to content

Don't report "is always true/false" for conditionally defined variables #8840

Don't report "is always true/false" for conditionally defined variables

Don't report "is always true/false" for conditionally defined variables #8840

Triggered via pull request November 2, 2024 13:46
Status Success
Total duration 3m 53s
Artifacts 146

issue-bot.yml

on: pull_request
Download data
22s
Download data
Matrix: Analyse
Evaluate results
16s
Evaluate results
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
issue-cache Expired
526 KB
sha256:e0fd7bc221513aeba504220060acc0ff2668fa822fac51bdce640d8a3826afb7
playground-cache Expired
441 KB
sha256:950480527f7ea5d8b4d43af1978cb2ec2fb4b11f3fbd0b6bb5051803e48a8776
results-70200-1 Expired
6.38 KB
sha256:4e1d3ed7a03127deef8b5872826c42d878101bd1b6709d913a2479da93abf550
results-70200-10 Expired
7.94 KB
sha256:7dcce6834da36ecafa7a5c23a9e3dc40f016d917dd49b9571e71dfd9ef975335
results-70200-11 Expired
9.18 KB
sha256:c23af448bc77ad9ffb119eb98ca69addfc09623a71239db888dfe3347e2221e9
results-70200-12 Expired
8.37 KB
sha256:74dd5b10b60794394bb2121ddf369c14abd4282f7cdfe9fd6ec8e541292ea0ac
results-70200-13 Expired
7.63 KB
sha256:fe414300c3060619ea813cdc19b0c37fd47d980bad74363261be791a21f9e80d
results-70200-14 Expired
12.1 KB
sha256:6a96f7f74eb0e1497b9260a4366bc89ad16f2ff574d1a01280acdbd4605c3987
results-70200-15 Expired
14.1 KB
sha256:2f886bde2e7f1165b3fb97f56e2e343fa1c4f75a72d281f7b49832ddb415bd4b
results-70200-16 Expired
8.19 KB
sha256:98d982930d9989d692966aa466cf24b94b51e82a7aa4c45a0f6c3b1e39de39e7
results-70200-17 Expired
6.98 KB
sha256:ed7abb0b33bd13b7cdd9d43765cb0940f93e9efd3412835bd18fd5ab7b815636
results-70200-18 Expired
7.72 KB
sha256:73a36e7638d58d67a3bf3f44be7f8bb7999044a00ccb52a80d3cd7c9826d3b15
results-70200-2 Expired
7.99 KB
sha256:8eb9d12273ccd89f8152d8aada1b4f0d00e7c28cf9af4d0e4096432a68091e24
results-70200-3 Expired
8.27 KB
sha256:a559d535d348585745eed0e2bee24cda7699873abb37336dae9f5791e8373221
results-70200-4 Expired
6.49 KB
sha256:4784ee8cbf7a053f8fcb57c3eb0deed29811bb851c1a578b4dd6db995f02aae2
results-70200-5 Expired
6.91 KB
sha256:21117962aa04132833d77556ee631af0f194b81bc0628f415a2796b5c0df6ec3
results-70200-6 Expired
9.59 KB
sha256:e337f8c569290a3a41571657d73460ba1546933950a9afa0fe50e4d326acbf4e
results-70200-7 Expired
8.69 KB
sha256:7c64b2d25e1db6f007f0a66c1c17662c7856fa6761127afb8123facaf3db8103
results-70200-8 Expired
7.02 KB
sha256:ac9d8ab7bcbc8f3f6eb5e1999bd7e0f10048243c31bd215d6797bbd18ce80af3
results-70200-9 Expired
6.1 KB
sha256:3a3dedcdc40c3d77c561c837e48c55bac3c8cb0959601627f626aaec95e67ca4
results-70300-1 Expired
6.38 KB
sha256:c7d8ce79ecf71fa02cb577555e247f44d7f900df03d52e1b0ef93556fd72a39d
results-70300-10 Expired
7.94 KB
sha256:f828892a83ddac5a611dc51a87de85274b3150f362756947ea2e2c7af45357cb
results-70300-11 Expired
9.18 KB
sha256:3cd0fd83114b94c4971a4c5165d49df5ef445fb2dc400878d3fcd08a88d22e73
results-70300-12 Expired
8.37 KB
sha256:6efbd52dd4b62394f86d6f38bac041c103b7d4ece5a863e785826047df8521b1
results-70300-13 Expired
7.63 KB
sha256:882a2e24bf7be27f73a3a4bd5c3987169e46c6ab2fe097ab5b351fe7daf17381
results-70300-14 Expired
12.1 KB
sha256:c3c09109fb2adbffae3dbe56bb87cdde89acd52d0e13979d12b4dd48a872f2c1
results-70300-15 Expired
14 KB
sha256:fac06e1ed5ea0e3c2b1b7cb50e2960169fa74a8ae093fb0d9b3eec8b2e12dee1
results-70300-16 Expired
8.18 KB
sha256:955c54b188c8c521691521675ada20996ae49108ccdb84addd90a30f0d6e6c80
results-70300-17 Expired
6.98 KB
sha256:7a7b15eac8a723fc060f599f6e0c624a9e38612c448b10c0802b9d8150095eb7
results-70300-18 Expired
7.68 KB
sha256:7f8ece177a90510f953e20eb074ea9e93ae8459d10245e14bca7104b605cc4f6
results-70300-2 Expired
7.99 KB
sha256:363f64067d3d29c99601c4c544e2e051f103cb5ae63ede890c806200e0fd85eb
results-70300-3 Expired
8.21 KB
sha256:217680b4c54729dd130112958c22a9c7a4cfa91d3acd2646ef600c340f2a6eab
results-70300-4 Expired
6.49 KB
sha256:3734e8d6a29cf16abd82fee2bfc91dd2e06663fa96f3b78c9f4fbcfcdfb86cc3
results-70300-5 Expired
6.85 KB
sha256:f3fe5bf527269549429c5a5bc8dc360ac0066ebf23c811ebda3f5f50ec84ac63
results-70300-6 Expired
9.59 KB
sha256:ea5fbaf5f7ddcead17f81dee1370e8a9059378cc5077cd44ffec678581a8976a
results-70300-7 Expired
8.69 KB
sha256:3996f8115eda052b8ea1026658d1d875849edb2f7c4acc7ff879e49a747c8370
results-70300-8 Expired
7.02 KB
sha256:3fb97898c4c74dc4cf9f7c7a89784768ec5b8134641c3d32ea0b876af34b8a77
results-70300-9 Expired
6.1 KB
sha256:8c48f2fab63e7e6f12346447f7cf7e219c0f9c587541a50d7668c50d5d37dfbc
results-70400-1 Expired
6.38 KB
sha256:e9cf9ce3d6ff29c6bf630c740335f02c5209e5f7dba29d35459cbea9a2bbdb1f
results-70400-10 Expired
7.87 KB
sha256:f7df9bae7989c1d79fd04d2302036594eca7dae7801b2cc23b458f4e3ca77411
results-70400-11 Expired
9.18 KB
sha256:82593a8276f1081970a73cb242d9119109b22e5c0545e44cea0192a06892032c
results-70400-12 Expired
8.37 KB
sha256:fc2f90313d4b5779cceb97ceb673e82ecce90e1e5a155dd13e3253c64bed6141
results-70400-13 Expired
7.61 KB
sha256:e911874860f389c20ab66d39d62082b6073b488c8db7f2c3d9c6fc03663016e0
results-70400-14 Expired
11.9 KB
sha256:677bf3539593e313ed60933c7e91365efc996854cfe70ac4c66901d28ce953c2
results-70400-15 Expired
14 KB
sha256:2d78e36510f7412c15444372e155e5a9a2feda9d852c39239b955067158675fd
results-70400-16 Expired
8.08 KB
sha256:4645efae1a4220c4d093e97c8ceb3a0ff21b96b8f980eb39a3a7d45dc558e9ee
results-70400-17 Expired
6.83 KB
sha256:12624396ce2236571dbe6d759b5da5557b7cf96ade1c772f3288ead0b7ceec27
results-70400-18 Expired
7.68 KB
sha256:13c607f4a6f79d5687d01303c57e5ab73437abb5d3eb8af237c35bae84dc0bea
results-70400-2 Expired
7.99 KB
sha256:a7799221fe89f4cbb8cc7c0f9f2605e82196b2121c1507ca1cac2e15972cd881
results-70400-3 Expired
8.21 KB
sha256:f3100bbad7b788c896ae9a854b619b337035bf7c384c9685dbb60ebebca1dcd1
results-70400-4 Expired
6.38 KB
sha256:06f7b2d85869f914e397e67f268059d884eb2dcdebd1f562deef3a4c687f56f5
results-70400-5 Expired
6.85 KB
sha256:2c61066aeed0df5504747ba50e7b87a5d9ad623c1716f93b3f947bc46d33b0e0
results-70400-6 Expired
9.61 KB
sha256:5988ea5e70f5d95052c0d852321aafd6f7caf4cd1aaf60c16ac275407ae1bebc
results-70400-7 Expired
8.69 KB
sha256:1be3281f25a5f479fdf0cab4c708d5f0ca320d0fac4dc98597aec972c0c5762a
results-70400-8 Expired
7.02 KB
sha256:a3f652671317d60053dcdd396c848452db1c13b94153c08712b6ca6771ac4409
results-70400-9 Expired
6.1 KB
sha256:f97ab44b09c83aaf48f3dc58cb6150ff8613956863499cd90e2453fccd659a82
results-80000-1 Expired
5.78 KB
sha256:076714cd4aef9cc3fbb3414c3deb0bb4ebc4c910b1574ad1f8f1af744fc2c309
results-80000-10 Expired
6.95 KB
sha256:4624b28b45463d33f5e468e3f3ea918678f57b7e17d86c6d9a1a88eb2d07b53b
results-80000-11 Expired
6.65 KB
sha256:dbbf4dc56ede7f3e8a521af70570a3c2f8aa30b76b6f518954e83a4fd5f45c2d
results-80000-12 Expired
7.43 KB
sha256:ed96c8ebc0f5b4834270ce32228d40c0f0d43dbf9cbe4e9cd413d688d1b11bf0
results-80000-13 Expired
7.24 KB
sha256:4634d8ca23b48db36ebae8cc136f40d332c9e6eb41dd300d7ddd4c021c206dfc
results-80000-14 Expired
10.3 KB
sha256:8593276d11fd272c3ae8efcaeaf529db9182accc132c26f3377005d7d0a88ee0
results-80000-15 Expired
13.2 KB
sha256:65a8e9d94135163f7d7c16aa164d61dea9bcabdf142f349dd980fac1156240a6
results-80000-16 Expired
7.39 KB
sha256:61d173b77de60f1a959649fe54d5184045d5f39ed52f54ce9f0f6074b1ed977f
results-80000-17 Expired
6.16 KB
sha256:213b95ff113ead8ae804f7eb35414c91d271ef2e807d8e3a07aeb79a666cabbf
results-80000-18 Expired
6.57 KB
sha256:d94cf4f1d49713f57ccb72b07f39801785b0ad41d89ba82b5327ab87dbd93035
results-80000-2 Expired
7.29 KB
sha256:86bca8656c1e6213bc8bd476c08f75b66ad1ecd0906402435f13b0696f0ffe12
results-80000-3 Expired
7.55 KB
sha256:05370285e5030f1ace36508f9ac406af2a12a03c8000d5f139fc5273583a3d5c
results-80000-4 Expired
6.12 KB
sha256:d321de7123f44f9f7951919b34ef5dea81d07bb92e582f199e04f345a26d8d80
results-80000-5 Expired
6.5 KB
sha256:17283ed899785f3b5d0fdf91aa20364d298e7a2783dbc4ebdf94aafd45ec8438
results-80000-6 Expired
6.75 KB
sha256:3eabe13c95b90b0fd8eff98580ffdf0f34c2afc55b9d64c380bf0e6b6e24865c
results-80000-7 Expired
7.41 KB
sha256:7f2aa8b73769339f4b57bf051302290d98972cf0e29ddf23034883f4a4d6762a
results-80000-8 Expired
6.45 KB
sha256:1269a688c248dfc9332f37acede639e39aecb1b4ea9a9300b42a1f79206cd615
results-80000-9 Expired
5.89 KB
sha256:6f7747aaf042485cfe287a9b0ee9b8d5e9b280511501fc79db919f009fd24316
results-80100-1 Expired
5.86 KB
sha256:87c8b44f119f750428fd3a6d7d0b8b78554a89ba06dc963727b4b8c8bd5a7ed3
results-80100-10 Expired
6.91 KB
sha256:890284f2d2a2d83c8c955ed90ef998a54de52c8f7972427e41bafddded59132d
results-80100-11 Expired
6.83 KB
sha256:a73baa2669c0ed68d0a3fe441bef9070427dbda619fb1f214aaed0c40fbf0936
results-80100-12 Expired
7.41 KB
sha256:82de61c6e6252c8a900e877fa5c1a2b016821bbd9422aae7cc866a3cd46b0f87
results-80100-13 Expired
7.44 KB
sha256:92236ec77551e803be5a97c9b6aa51dc304e33df9dc80c0bb1f6be6b68651561
results-80100-14 Expired
10.5 KB
sha256:a14e474a395439fa4a67503cbf35dfdb09955ad6643613c23cea4151b2bdf279
results-80100-15 Expired
13.4 KB
sha256:9b1f843c4409463f2a87ff808f1d0f151b3432957bf2238b58be5bb920985c5c
results-80100-16 Expired
7.4 KB
sha256:6f3a438d97d3f91f3f14b5ab482a6fe396667d35e21f4899c19b03c6549a3d03
results-80100-17 Expired
6.35 KB
sha256:500b9292c11359a220ebf75a45bf154367401aec200b3d73533e115242fdccc4
results-80100-18 Expired
6.57 KB
sha256:2d2451ed790899b4e5d8ca49f5e69a2d1fbf675ab0eb5b9f2504ad539dbad665
results-80100-2 Expired
7.33 KB
sha256:d0bd3456075233b6cfb8d2f17bd7a3b0641b298d119ba3326f365f50c11f814d
results-80100-3 Expired
7.48 KB
sha256:f43d84535431860b038ce25cce9a3366f9eb06f7597316b060dba7d0f0bddcae
results-80100-4 Expired
6.01 KB
sha256:594dca73ab3a4a8198549956aa55756e3682bc61b07ed7447cfb97702cc431ad
results-80100-5 Expired
6.42 KB
sha256:1e0098b1036525bff6f98ccb54c51a14fd8826b31ed4f33ec8bbcc3124ee4d5f
results-80100-6 Expired
6.78 KB
sha256:ad9a2491f3e31460db9d05c4973264929c8eb04081d47d5a57178e5bd7141e1e
results-80100-7 Expired
7.22 KB
sha256:49645222ad1c65eabc28899ce4971ffeea599c717a51f8945fbd469289922e76
results-80100-8 Expired
6.55 KB
sha256:0a1c0838cc0bf41da2c02604010993465494646017c123c7bfd74df0b3ded977
results-80100-9 Expired
5.89 KB
sha256:a3af8880c3e815b04166e048b26416934173a3a27acbe5da32685f3d10767a1f
results-80200-1 Expired
5.91 KB
sha256:ec73e613327df23258ff81b9ea6fa380dc15a21cba1152413657bab278889a97
results-80200-10 Expired
6.91 KB
sha256:a2ea106dd456ff259f858c3c519241eb7020903f21ab7ffc5bc7972505b02dba
results-80200-11 Expired
6.9 KB
sha256:c4e6ab8e47a7849082447d0587491cf056701134fec60561cfa75dee2c7f689b
results-80200-12 Expired
7.41 KB
sha256:def8265a0a4877a15f97c1586f8d12ec9a834e18af4007487cae19a749edd3d5
results-80200-13 Expired
7.34 KB
sha256:753a75b8040daaca5e484eaf9bd5df75647716333249cff46d2c076838333582
results-80200-14 Expired
10.4 KB
sha256:711e1131678fbdccfb653def5ddfe776056bdefb5421481c4f5700a2a7156772
results-80200-15 Expired
13.3 KB
sha256:c497937c79e5ed4a1a90dd8d0d8ad8ff94b373a26014e5d07e405215132cf97a
results-80200-16 Expired
7.31 KB
sha256:d8d02192e5ebc90cb82621ad2069d3b8a93767fad6efe9d5cf503a49fd7d1ee3
results-80200-17 Expired
6.26 KB
sha256:bd38c76ef375f7f2f94b360acf2af8f4868650084623873f260fc4bef577ad4b
results-80200-18 Expired
6.43 KB
sha256:477917568747af0423d0141008855b109ca9763d45645be9be6af86d33fe7cf5
results-80200-2 Expired
7.33 KB
sha256:f44a05a1bf4eb1e5b9eb5a839c52de0d1ee77e557022621e3ff28f140ff77e04
results-80200-3 Expired
7.5 KB
sha256:15ad09e2b055d29596ca1a02566e7db04424528f694637491ecff147036906b1
results-80200-4 Expired
6.05 KB
sha256:c22d354b96ae12ee29a48a4f21cea64845663ca526a60a28d08b333f802e89cd
results-80200-5 Expired
6.4 KB
sha256:1a9ad650e2273c06c3e3cc571c4d3a7b12f6732459aa4b2730e9a8acec2bf061
results-80200-6 Expired
6.78 KB
sha256:3deee0b7e82a7f528caead73ac5e14dc0ce7392fc255be11b57bf06627238bac
results-80200-7 Expired
7.23 KB
sha256:bd49769b4afc585cf172d2611b4eb7161c7fc2afb2985b3aeea888c7ac3865e6
results-80200-8 Expired
6.55 KB
sha256:06a7d459ae86b6c8ab284d9cb1acd875fa8ccc604b438b12e1885b09498b9ae1
results-80200-9 Expired
5.89 KB
sha256:22b474343d219781b645149ac6cd4d650382fcca6f44b1f3ee7c9834fff44364
results-80300-1 Expired
5.91 KB
sha256:7e0ebd7e3dac15f140d3fd35959dec3b9e2d3f654b43dc6ab9a824f2aba61a62
results-80300-10 Expired
6.91 KB
sha256:71c9495511216f7bcdeb8b1f53fc5a77a0d7f5405eb3d28da0bc63f7fafd165d
results-80300-11 Expired
6.9 KB
sha256:12b2a7a9a75a0c6f75331eb32de6f20dc07ad239c68bf278514728a4ae5566e0
results-80300-12 Expired
7.41 KB
sha256:05101b9479a32775150bb45a2ea4147f3878c4ba9ea482cfe1e42c8df222fdbc
results-80300-13 Expired
7.34 KB
sha256:e9aedb45babd4a5eaad41eaeb4216d967e8cb57b38a1ec5b9b98385b2ccf7de7
results-80300-14 Expired
10.4 KB
sha256:ebd22eace72983c71e68b8f3de59ac2504d10fa7e6193a3a676b73f5cb97a4f5
results-80300-15 Expired
13.2 KB
sha256:271fa800ac9ffae709284045dcf63a7976c53ab5376911e2e31837c8313c91f6
results-80300-16 Expired
7.22 KB
sha256:58b2efc5959bb84645ef168802bfe1f2d78462cdab757d8fb2d1a2cd36131230
results-80300-17 Expired
6.26 KB
sha256:7328c0db4b205cd60e52db3f7867cb4227ad4164990d483e2a5eff311d7ca85a
results-80300-18 Expired
6.37 KB
sha256:ceec8ae056d4a50c196d2f9c7e782a378946830707fb20b8091a54e591803e6b
results-80300-2 Expired
7.33 KB
sha256:877850ae512ba4ed81ee520babc51d984caeb2a16e239371fe6aca0902f737e7
results-80300-3 Expired
7.5 KB
sha256:6f67bcbb3e7cd388dd7aba810bdd409fa4ca198e21da2dfc82cea48d58138555
results-80300-4 Expired
6.05 KB
sha256:ea344002aba61f372acb630767c5ab822b06dae54a349cd793b3e45188559b4b
results-80300-5 Expired
6.4 KB
sha256:9abe30fcb551aca0a1cf615c9826d5d702f413b3075a9a07e7dcd5e5e01acffe
results-80300-6 Expired
6.79 KB
sha256:c3a697f4faf6cf2ae02fc0a5eccbed25530c0850e00c9d177c62206a484f2cdc
results-80300-7 Expired
7.23 KB
sha256:c423e26f2378f5e57fec371106d85345123498d9a5b5c0053ff9cba33026293b
results-80300-8 Expired
6.55 KB
sha256:1928490d6b82f26ded42c3ce9961d8f1d93ca0236eadb2090a45a42ec442a328
results-80300-9 Expired
5.89 KB
sha256:5042cdad3a988163e27dff7318c5b9796cd463cc98a2e385457f937e5583f41c
results-80400-1 Expired
5.91 KB
sha256:e0a6578faa462e5c2e3b48f82ca44f191823c7593f4e29ddbc7ec09950f21056
results-80400-10 Expired
6.91 KB
sha256:3deee548bd5bf1304e76f721e206040fbbaacfa985615e4c17105e03b76a712e
results-80400-11 Expired
6.9 KB
sha256:fb9f79cef5262f14d3be57991fa2f5761d7e1d30a22033ea9afba787e3f0a7d8
results-80400-12 Expired
7.49 KB
sha256:dea49858ccdff1630bd5e84df3fe515e8cfd239520c214d76d7abb4bd86a1835
results-80400-13 Expired
7.34 KB
sha256:b8ca99ac7fe7f111daabd8cec196e2804cd3ba23c8c95cdefda54aacd5e9e3d8
results-80400-14 Expired
10.4 KB
sha256:9720d89e12229fde18135cc40e55f7069202d0450c1bb47933986f5c8cde76cd
results-80400-15 Expired
13.2 KB
sha256:96638022d8560be7352982a73c83c220734c00ae299d674b8a7f466baf6ad5ad
results-80400-16 Expired
7.22 KB
sha256:85feceb6a04b2b25aa160cdc549b605cdc310b463773e99634688158d488dbbd
results-80400-17 Expired
6.26 KB
sha256:0cd0c880d06493e3e2da0c6a8fcca1413cc7d4b5305cd36333d0b3db6827540f
results-80400-18 Expired
6.37 KB
sha256:f15191ddf927e642e49685753389e84fabd60cd6deffa45621b2bcc53397397d
results-80400-2 Expired
7.33 KB
sha256:32043bcd7c5f3ff585753c3855902f8d6b1d45dada5b6ef72c127f78af6096ae
results-80400-3 Expired
7.5 KB
sha256:4a0696e4a335ae572bdab789430735535a0dda5dc485a353f0f395e78a54b8b0
results-80400-4 Expired
6.05 KB
sha256:72b324aebcd0199a5f7695f055b6815f98255caecf961b333b4a6998d60287bc
results-80400-5 Expired
6.4 KB
sha256:fe897de6465a99489e2da12921d70cabd00f72afb1212649e5353b90345efca2
results-80400-6 Expired
6.79 KB
sha256:f5a51e30ae71584ee1f72ec2495213f27d8499f2629d6f51308b5c254892c07f
results-80400-7 Expired
7.35 KB
sha256:9a1aa0950487e8c8a0addda002c3030e3c5969f02c2ab5150dd4d0c992f07500
results-80400-8 Expired
6.55 KB
sha256:887077cba6de9a1226808619d78a1520dead46827667caf7016881bb563f8bce
results-80400-9 Expired
5.89 KB
sha256:b7fdb1ea1d0fb898c51a0f9d32f8265e143abd13ae29f26aad3207a7991c12bd