Re: [Valgrind-users] Code Coverage with Valgrind

[He f. <fig...@gm...>]

Thanks.
Regarding exp-vcov,
I've checkout the lastest code with rev:10644. It still abort saying “no
such line” during bootstrap. I'll take a look.

Regarding Covergrind,
it seems to work fine with detection of the if-else branch (below). Input 3
is given at prompt.
Note that line 14 is not taken into line counting. But the problem with
Covergrind is that it has taken line 6-8 and line 21 into consideration,
which introduce inaccuracy. Gcov will smartly ignore them.

Given that, it seems still possible to improve Covergrind via some
post-processing scripting to eliminate those in-effective lines to reach
accuracy.

Cheers,

-Fei
<<<<<<<<<<<<<<<<<<<<<<
  5 int main () {
  6
  7     int x;
  8
  9     scanf("%d", &x);
 10
 11
 12     if (x==1)
 13         printf("BINGO!: x = %d\n", x);
 14     else
 15         printf("ELSE: x = %d\n", x);
 16
 17
 18
 19     return 1;
 20
 21 }
>>>>>>>>>>>>>>>>>>>>>>>>>>
events: lineTouched
fl=(0) /usr/cv_test.c

fn=0
fl=(0)
5 1
6 1
7 1
8 1
9 1
12 1
15 1
19 1
20 1
21 1




On Wed, Jul 29, 2009 at 6:31 PM, Nicholas Nethercote <n.n...@gm...
> wrote:

> On Thu, Jul 30, 2009 at 1:46 AM, He fei<fig...@gm...> wrote:
> > Hi Nicholas,
> > I've checkout your branch and tried exp-vcov. I encounter the following
> > valgrind-abort when running it:
> > exp-VCov: vc_main.c:385 (doOneInstr): the 'impossible' happened.
> > exp-VCov: didn't find 288 in lineCCs
> >
> (/eng/btools/arch/i386-redhat-linux8.0/compilers/x86_64-rhel4-linux-gcc-4.2.3/bin/../lib/gcc/x86_64-rhel4-linux/4.2.3/../../../../x86_64-rhel4-linux/include/c++/4.2.3/bits/basic_string.h)
> > ==25477==    at 0x380024AC: ??? (in
> > /usr/VCOV/inst/lib/valgrind/exp-vcov-amd64-linux)
> > ==25477==    by 0x403FFE0DF: ???
> > ==25477==    by 0x403FFE0DF: ???
> > ==25477==    by 0x403FFFFDF: ???
> > sched status:
> >   running_tid=1
> > Thread 1: status = VgTs_Runnable
> > ==25477==    at 0xB220072:
> mgmt_logger::log_manager::_get_logger(std::string
> > const&) (basic_string.h:288)
> > ==25477==    by 0xB2330BA: __static_initialization_and_destruction_0(int,
> > int) (mgmt_logger.h:372)
> > ...
> > In short, it seems to me that exp-vcov thinks the basic_string.h, which
> is
> > called by part of my code, doesn't have line 288. While in fact it does
> > (I've looked into the file).
> > The other thing I'm not sure is the question mark coming out like
> "==25477==
> >    by 0x403FFFFDF: ???". Does it mean the compilation doesn't meet with
> > requirement?
>
> The "???" isn't important, ignore that.
>
> As for the crash, make sure you have the most recent SVN version, as I
> fixed a problem like that the other day.  If you still have a problem,
> you might like to try fixing it yourself as I have very little time to
> work on VCov right now.
>
> Nick
>



-- 
Fei He
Graduate Student
Information Networking Institute
Carnegie Mellon University

fh...@cm...
+1 412 330 8051