used-before-assignment is not always triggered #267
Labels
Bug 🪲
Checkers
Related to a checker
Control flow
Requires control flow understanding
Duplicate 🐫
Duplicate of an already existing issue
Originally reported by: Claudiu Popa (BitBucket: PCManticore, GitHub: @PCManticore)
For the following code:
Maybe we can detect that
test
is conditionally defined.The text was updated successfully, but these errors were encountered: