search

Quuxplusone / LLVMBugzillaTest

0 stars 0 forks source link

False positive related to try/catch block (Value stored to '...' during its initialization is never read) #12416

Open Quuxplusone opened 12 years ago

Quuxplusone commented 12 years ago
Bugzilla Link PR12302
Status NEW
Importance P enhancement
Reported by francois.perrad@gadz.org
Reported on 2012-03-19 03:58:59 -0700
Last modified on 2014-10-17 16:31:34 -0700
Version 3.0
Hardware PC Linux
CC kremenek@apple.com, llvm-bugs@lists.llvm.org, stevemac321@live.com
Fixed by commit(s)
Attachments Foo.cc (755 bytes, text/x-c++src)
Blocks
Blocked by
See also 
Created attachment 8232
testcase
Quuxplusone commented 12 years ago

Attached Foo.cc (755 bytes, text/x-c++src): testcase

Quuxplusone commented 12 years ago

cloned to rdar://problem/11075182

Quuxplusone commented 10 years ago 
I hit this too doing runs against libc++.  Here is an even simpler repro:

int main() {

   int x=0;
   try{
      x=1; //change this to x++ makes scan-build happy.
   }catch(...) {
   }
}