[all-commits] [llvm/llvm-project] ad1b2a: [analyzer] Demonstrate superfluous unsigned >= 0 a...

[NagyDonat via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ad1b2a812973d584f56121b953bf9698b32386ae
      https://github.com/llvm/llvm-project/commit/ad1b2a812973d584f56121b953bf9698b32386ae
  Author: NagyDonat <donat.nagy at ericsson.com>
  Date:   2024-03-06 (Wed, 06 Mar 2024)

  Changed paths:
    M clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
    A clang/test/Analysis/assuming-unsigned-ge-0.c

  Log Message:
  -----------
  [analyzer] Demonstrate superfluous unsigned >= 0 assumption (#78442)

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.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications