Analyzer does not track the value of '(*argv)', where 'argv += optind();'

llvm / llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

http://llvm.org

Other

27.95k stars 11.53k forks source link

Open 0f73b9cf-134f-41af-a8b1-14d9f305ee95 opened 11 years ago

0f73b9cf-134f-41af-a8b1-14d9f305ee95 commented 11 years ago

unsigned optind(); int foo(char argv[], int p) { argv += optind(); if (!*argv) { p = 0; }

if (argv) { return p; } return 0; }

0f73b9cf-134f-41af-a8b1-14d9f305ee95 commented 11 years ago

assigned to @tkremenek