mirror of
https://github.com/llvm/llvm-project.git
synced 2025-04-16 22:46:37 +00:00
ad1b2a8129
This commit adds a testcase which highlights the current incorrect behavior of the CSA diagnostic generation: it produces a note which says "Assuming 'arg' is >= 0" in a situation where this is not a fresh assumption because 'arg' is an unsigned integer. I also created ticket 78440 to track this bug.
20 lines
734 B
C
20 lines
734 B
C
// RUN: %clang_analyze_cc1 -analyzer-output=text \
|
|
// RUN: -analyzer-checker=core -verify %s
|
|
|
|
int assuming_unsigned_ge_0(unsigned arg) {
|
|
// TODO This testcase demonstrates the current incorrect behavior of Clang
|
|
// Static Analyzer: here 'arg' is unsigned, so "arg >= 0" is not a fresh
|
|
// assumption, but it still appears in the diagnostics as if it's fresh:
|
|
// expected-note@+2 {{Assuming 'arg' is >= 0}}
|
|
// expected-note@+1 {{Taking false branch}}
|
|
if (arg < 0)
|
|
return 0;
|
|
// expected-note@+2 {{Assuming 'arg' is <= 0}}
|
|
// expected-note@+1 {{Taking false branch}}
|
|
if (arg > 0)
|
|
return 0;
|
|
// expected-note@+2 {{Division by zero}}
|
|
// expected-warning@+1 {{Division by zero}}
|
|
return 100 / arg;
|
|
}
|