mgehre/llvm-project

Issues

• Current status and future plans?

  #98 opened 3 years ago by ispeters
  4

• Fix std::ref(i) with std::reference_wrapper

  #51 opened 5 years ago by mgehre
  7

• How to annotate an owner properly?

  #97 opened 4 years ago by brevzin
  5

• Ctors are not simulated properly

  #96 opened 4 years ago by Xazax-hun
  5

• Brace initialization does not trigger -Wdangling-gsl

  #95 opened 5 years ago by mgehre
  1

• How do I properly dereference an iterator?

  #94 opened 5 years ago by davidwin
  2

• Iterating over std::initializer_list results in a null pointer warning.

  #92 opened 5 years ago by roccomoretti
  1

• std::ostream_iterator causes false "dangling pointer" positive

  #93 opened 5 years ago by davidwin
  1

• False positive when returning pointer to member

  #90 opened 5 years ago by jerryct
  2

• UNREACHABLE executed in Decl::castFromDeclContext when inheriting from template parameter

  #80 opened 5 years ago by aaronpuchert
  3

• missed dangling pointer case

  #89 opened 5 years ago by Trass3r
  1

• Reference to temporary local variable not detected

  #91 opened 5 years ago by DoDoENT
  1

• false positive with std::list::splice invalidated iterator in a loop

  #83 opened 5 years ago by oschonrock
  4

• crash in clang::lifetime::VisitBlock

  #86 opened 5 years ago by 0x8000-0000
  4

• Handle non-singleton psets in filtered mode

  #87 opened 5 years ago by Xazax-hun
  0

• Add notes for function call evaluation

  #85 opened 5 years ago by Xazax-hun
  0

• Smarter uniqueing for warnings

  #84 opened 5 years ago by Xazax-hun
  0

• Type caching issues

  #82 opened 5 years ago by Xazax-hun
  6

• Unable to build clangd with current lifetime branch

  #81 opened 5 years ago by AlexisTM
  7

• Add implicit annotation for main that argv is an input parameter

  #54 opened 5 years ago by mgehre
  1

• Diagnose that std::unique_ptr::release is not allowed

  #70 opened 5 years ago by danielmartin
  4

• crash in compile

  #69 opened 5 years ago by WallStProg
  6

• False positive with vector subscript operator

  #75 opened 5 years ago by marcomagdy
  3

• Owner invalidation invalidates Pointer to Owner (instead of only "into Owner")

  #66 opened 5 years ago by brevzin
  2

• Recognize `std::vector<bool>` as Owner with libc++

  #77 opened 5 years ago by mgehre
  0

• Support [[gsl::suppress("lifetime")]] at function scope

  #71 opened 5 years ago by mgehre
  2

• No warning when passing invalid pointer to vararg function

  #62 opened 5 years ago by marcomagdy
  1

• Returning a null pointer should be fine

  #65 opened 5 years ago by brevzin
  1

• crash in compile w/-Wlifetime flag

  #68 opened 5 years ago by WallStProg
  1

• Add a proper README to show how to build & run the lifetime checks

  #67 opened 5 years ago by WallStProg
  3

• Assigning to `values[0]` is different than assigning to `*values`

  #64 opened 5 years ago by brevzin
  4

• Support nullable owners (e.g. unique_ptr)

  #63 opened 5 years ago by oontvoo
  4

• Regression for handling temporaries?

  #61 opened 5 years ago by Xazax-hun
  7

• False-positive with deref address-of

  #49 opened 5 years ago by mgehre
  11

• Diagnose meaningless annotations

  #56 opened 5 years ago by Xazax-hun
  2

• Consider members of *this as implicit parameters

  #60 opened 5 years ago by mgehre
  0

• Assert failure (2)

  #58 opened 5 years ago by mgehre
  2

• Assert failure

  #57 opened 5 years ago by mgehre
  4

• Add DerefType for STL annotations

  #59 opened 5 years ago by Xazax-hun
  3

• Add [[gsl::Owner]] to std::shared_ptr?

  #44 opened 5 years ago by mgehre
  2

• Implement [[gsl::lifetime_in]]

  #55 opened 5 years ago by mgehre
  1

• Explicitly annotate types / Sema-infered types without DerefType crash function modeling

  #48 opened 5 years ago by mgehre
  4

• std::string& dangling after append?

  #53 opened 5 years ago by mgehre
  1

• Misleading warning "returning a dangling pointer" for output parameters

  #52 opened 5 years ago by mgehre
  2

• False negative with returning address of a temporary

  #46 opened 5 years ago by Xazax-hun
  1

• False-positive returning a copy of a pointer

  #45 opened 5 years ago by mgehre
  1

• Infer gsl::Pointer for vector<bool>::reference

  #47 opened 5 years ago by mgehre
  2

• Move statement-local warnings behind another flag

  #50 opened 5 years ago by mgehre
  3

• Upstream AddExprWithCleanups changes

  #43 opened 5 years ago by mgehre
  0

• Add notes to explain where temporary owner comes from

  #42 opened 5 years ago by mgehre
  2