hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-02 20:25:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: change expected test output following extractor frontend upgrade

Browse Source
This commit is contained in:
Nick Rolfe
2019-04-11 17:45:35 +01:00
parent ccbb7ce04b
commit baf091235c
4 changed files with 279 additions and 235 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
cpp/ql/test/library-tests/conversions/conversions.expected
View File

@@ -122,7 +122,7 @@
| conversions.cpp:179:36:179:37 | (..:: *)... | pointer-to-member derived class conversion | prval | ..:: * | ..:: * |
| conversions.cpp:180:10:180:47 | static_cast<..:: *>... | pointer-to-member derived class conversion | prval | ..:: * | ..:: * |
| conversions.cpp:180:43:180:46 | (..:: *)... | pointer-to-member derived class conversion | prval | ..:: * | ..:: * |
| conversions.cpp:190:22:190:29 | (const String)... | prvalue adjustment conversion | prval | const String | void |
| conversions.cpp:190:22:190:29 | (const String)... | glvalue conversion | lval | const String | String |
| conversions.cpp:193:20:193:31 | (const Base)... | glvalue conversion | lval | const Base | Base |
| conversions.cpp:193:31:193:31 | (Base)... | base class conversion | lval | Base | Middle |
| conversions.cpp:193:31:193:31 | (Middle)... | base class conversion | lval | Middle | Derived |

194
cpp/ql/test/library-tests/ir/ir/PrintAST.expected
View File

@@ -5119,22 +5119,28 @@ ir.cpp:
# 809| Type = const Base &
# 809| ValueCategory = prvalue
# 809| expr: (const Base)...
# 809| Conversion = prvalue adjustment conversion
# 809| Conversion = glvalue conversion
# 809| Type = const Base
# 809| ValueCategory = prvalue
# 809| expr: call to Base
# 809| Type = void
# 809| ValueCategory = prvalue
# 809| 0: (reference to)
# 809| Type = const Base &
# 809| ValueCategory = lvalue
# 809| expr: (reference dereference)
# 809| Type = Base
# 809| ValueCategory = lvalue
# 809| expr: (reference to)
# 809| Type = Base &
# 809| ValueCategory = prvalue
# 809| expr: (const Base)...
# 809| Conversion = base class conversion
# 809| Type = const Base
# 809| ValueCategory = lvalue
# 809| expr: m
# 809| Type = Middle
# 809| ValueCategory = lvalue
# 809| expr: call to Base
# 809| Type = void
# 809| ValueCategory = prvalue
# 809| 0: (reference to)
# 809| Type = const Base &
# 809| ValueCategory = prvalue
# 809| expr: (const Base)...
# 809| Conversion = base class conversion
# 809| Type = const Base
# 809| ValueCategory = lvalue
# 809| expr: m
# 809| Type = Middle
# 809| ValueCategory = lvalue
# 810| 8: ExprStmt
# 810| 0: (reference dereference)
# 810| Type = Base
@@ -5149,22 +5155,28 @@ ir.cpp:
# 810| Type = const Base &
# 810| ValueCategory = prvalue
# 810| expr: (const Base)...
# 810| Conversion = prvalue adjustment conversion
# 810| Conversion = glvalue conversion
# 810| Type = const Base
# 810| ValueCategory = prvalue
# 810| expr: call to Base
# 810| Type = void
# 810| ValueCategory = prvalue
# 810| 0: (reference to)
# 810| Type = const Base &
# 810| ValueCategory = lvalue
# 810| expr: (reference dereference)
# 810| Type = Base
# 810| ValueCategory = lvalue
# 810| expr: (reference to)
# 810| Type = Base &
# 810| ValueCategory = prvalue
# 810| expr: (const Base)...
# 810| Conversion = base class conversion
# 810| Type = const Base
# 810| ValueCategory = lvalue
# 810| expr: m
# 810| Type = Middle
# 810| ValueCategory = lvalue
# 810| expr: call to Base
# 810| Type = void
# 810| ValueCategory = prvalue
# 810| 0: (reference to)
# 810| Type = const Base &
# 810| ValueCategory = prvalue
# 810| expr: (const Base)...
# 810| Conversion = base class conversion
# 810| Type = const Base
# 810| ValueCategory = lvalue
# 810| expr: m
# 810| Type = Middle
# 810| ValueCategory = lvalue
# 811| 9: ExprStmt
# 811| 0: ... = ...
# 811| Type = Base *
@@ -5349,26 +5361,32 @@ ir.cpp:
# 823| Type = const Base &
# 823| ValueCategory = prvalue
# 823| expr: (const Base)...
# 823| Conversion = prvalue adjustment conversion
# 823| Conversion = glvalue conversion
# 823| Type = const Base
# 823| ValueCategory = prvalue
# 823| expr: call to Base
# 823| Type = void
# 823| ValueCategory = prvalue
# 823| 0: (reference to)
# 823| Type = const Base &
# 823| ValueCategory = lvalue
# 823| expr: (reference dereference)
# 823| Type = Base
# 823| ValueCategory = lvalue
# 823| expr: (reference to)
# 823| Type = Base &
# 823| ValueCategory = prvalue
# 823| expr: (const Base)...
# 823| Conversion = base class conversion
# 823| Type = const Base
# 823| ValueCategory = lvalue
# 823| expr: (const Middle)...
# 823| Conversion = base class conversion
# 823| Type = const Middle
# 823| ValueCategory = lvalue
# 823| expr: d
# 823| Type = Derived
# 823| expr: call to Base
# 823| Type = void
# 823| ValueCategory = prvalue
# 823| 0: (reference to)
# 823| Type = const Base &
# 823| ValueCategory = prvalue
# 823| expr: (const Base)...
# 823| Conversion = base class conversion
# 823| Type = const Base
# 823| ValueCategory = lvalue
# 823| expr: (const Middle)...
# 823| Conversion = base class conversion
# 823| Type = const Middle
# 823| ValueCategory = lvalue
# 823| expr: d
# 823| Type = Derived
# 823| ValueCategory = lvalue
# 824| 20: ExprStmt
# 824| 0: (reference dereference)
# 824| Type = Base
@@ -5383,26 +5401,32 @@ ir.cpp:
# 824| Type = const Base &
# 824| ValueCategory = prvalue
# 824| expr: (const Base)...
# 824| Conversion = prvalue adjustment conversion
# 824| Conversion = glvalue conversion
# 824| Type = const Base
# 824| ValueCategory = prvalue
# 824| expr: call to Base
# 824| Type = void
# 824| ValueCategory = prvalue
# 824| 0: (reference to)
# 824| Type = const Base &
# 824| ValueCategory = lvalue
# 824| expr: (reference dereference)
# 824| Type = Base
# 824| ValueCategory = lvalue
# 824| expr: (reference to)
# 824| Type = Base &
# 824| ValueCategory = prvalue
# 824| expr: (const Base)...
# 824| Conversion = base class conversion
# 824| Type = const Base
# 824| ValueCategory = lvalue
# 824| expr: (const Middle)...
# 824| Conversion = base class conversion
# 824| Type = const Middle
# 824| ValueCategory = lvalue
# 824| expr: d
# 824| Type = Derived
# 824| expr: call to Base
# 824| Type = void
# 824| ValueCategory = prvalue
# 824| 0: (reference to)
# 824| Type = const Base &
# 824| ValueCategory = prvalue
# 824| expr: (const Base)...
# 824| Conversion = base class conversion
# 824| Type = const Base
# 824| ValueCategory = lvalue
# 824| expr: (const Middle)...
# 824| Conversion = base class conversion
# 824| Type = const Middle
# 824| ValueCategory = lvalue
# 824| expr: d
# 824| Type = Derived
# 824| ValueCategory = lvalue
# 825| 21: ExprStmt
# 825| 0: ... = ...
# 825| Type = Base *
@@ -6786,18 +6810,24 @@ ir.cpp:
# 1036| 0: (reference to)
# 1036| Type = lambda [] type at line 1036, col. 21 &
# 1036| ValueCategory = prvalue
# 1036| expr: [...](...){...}
# 1036| expr: (reference dereference)
# 1036| Type = decltype([...](...){...})
# 1036| ValueCategory = prvalue
# 1036| 0: {...}
# 1036| Type = decltype([...](...){...})
# 1036| ValueCategory = xvalue
# 1036| expr: (reference to)
# 1036| Type = lambda [] type at line 1036, col. 21 &
# 1036| ValueCategory = prvalue
#-----| .s: call to String
#-----| Type = void
#-----| ValueCategory = prvalue
#-----| .x: x
#-----| Type = int
#-----| ValueCategory = prvalue(load)
# 1036| expr: [...](...){...}
# 1036| Type = decltype([...](...){...})
# 1036| ValueCategory = xvalue
# 1036| 0: {...}
# 1036| Type = decltype([...](...){...})
# 1036| ValueCategory = prvalue
#-----| .s: call to String
#-----| Type = void
#-----| ValueCategory = prvalue
#-----| .x: x
#-----| Type = int
#-----| ValueCategory = prvalue(load)
# 1037| 5: ExprStmt
# 1037| 0: call to operator()
# 1037| Type = char
@@ -6867,15 +6897,21 @@ ir.cpp:
# 1040| 0: (reference to)
# 1040| Type = lambda [] type at line 1040, col. 30 &
# 1040| ValueCategory = prvalue
# 1040| expr: [...](...){...}
# 1040| expr: (reference dereference)
# 1040| Type = decltype([...](...){...})
# 1040| ValueCategory = prvalue
# 1040| 0: {...}
# 1040| Type = decltype([...](...){...})
# 1040| ValueCategory = xvalue
# 1040| expr: (reference to)
# 1040| Type = lambda [] type at line 1040, col. 30 &
# 1040| ValueCategory = prvalue
#-----| .s: call to String
#-----| Type = void
#-----| ValueCategory = prvalue
# 1040| expr: [...](...){...}
# 1040| Type = decltype([...](...){...})
# 1040| ValueCategory = xvalue
# 1040| 0: {...}
# 1040| Type = decltype([...](...){...})
# 1040| ValueCategory = prvalue
#-----| .s: call to String
#-----| Type = void
#-----| ValueCategory = prvalue
# 1041| 9: ExprStmt
# 1041| 0: call to operator()
# 1041| Type = char

8
cpp/ql/test/library-tests/ir/ir/raw_ir.expected
View File

@@ -3568,7 +3568,7 @@ ir.cpp:
# 809| r0_34(glval<Base>) = ConvertToBase[Middle : Base] : r0_33
# 809| v0_35(void) = Call : r0_32, r0_34
# 809| mu0_36(unknown) = ^CallSideEffect : mu0_2
# 809| r0_37(Base) = Convert : v0_35
# 809| r0_37(glval<Base>) = Convert : v0_35
# 809| r0_38(Base &) = Call : r0_31, this:r0_30, r0_37
# 809| mu0_39(unknown) = ^CallSideEffect : mu0_2
# 810| r0_40(glval<Base>) = VariableAddress[b] :
@@ -3578,7 +3578,7 @@ ir.cpp:
# 810| r0_44(glval<Base>) = ConvertToBase[Middle : Base] : r0_43
# 810| v0_45(void) = Call : r0_42, r0_44
# 810| mu0_46(unknown) = ^CallSideEffect : mu0_2
# 810| r0_47(Base) = Convert : v0_45
# 810| r0_47(glval<Base>) = Convert : v0_45
# 810| r0_48(Base &) = Call : r0_41, this:r0_40, r0_47
# 810| mu0_49(unknown) = ^CallSideEffect : mu0_2
# 811| r0_50(glval<Middle *>) = VariableAddress[pm] :
@@ -3645,7 +3645,7 @@ ir.cpp:
# 823| r0_111(glval<Base>) = ConvertToBase[Middle : Base] : r0_110
# 823| v0_112(void) = Call : r0_108, r0_111
# 823| mu0_113(unknown) = ^CallSideEffect : mu0_2
# 823| r0_114(Base) = Convert : v0_112
# 823| r0_114(glval<Base>) = Convert : v0_112
# 823| r0_115(Base &) = Call : r0_107, this:r0_106, r0_114
# 823| mu0_116(unknown) = ^CallSideEffect : mu0_2
# 824| r0_117(glval<Base>) = VariableAddress[b] :
@@ -3656,7 +3656,7 @@ ir.cpp:
# 824| r0_122(glval<Base>) = ConvertToBase[Middle : Base] : r0_121
# 824| v0_123(void) = Call : r0_119, r0_122
# 824| mu0_124(unknown) = ^CallSideEffect : mu0_2
# 824| r0_125(Base) = Convert : v0_123
# 824| r0_125(glval<Base>) = Convert : v0_123
# 824| r0_126(Base &) = Call : r0_118, this:r0_117, r0_125
# 824| mu0_127(unknown) = ^CallSideEffect : mu0_2
# 825| r0_128(glval<Derived *>) = VariableAddress[pd] :

310
cpp/ql/test/successor-tests/conditional_destructors/cfg.expected
View File

@@ -1,125 +1,129 @@
| C1::C1 | false | 264 | 264 | C1 |
| C1::C1 | false | 386 | 386 | C1 |
| C1::C1 | false | 390 | 390 | C1 |
| C1::C1 | false | 427 | 427 | this |
| C1::C1 | false | 428 | 428 | val |
| C1::C1 | false | 430 | 430 | x |
| C1::C1 | false | 432 | 432 | ... = ... |
| C1::C1 | false | 434 | 434 | ExprStmt |
| C1::C1 | false | 436 | 436 | return ... |
| C1::C1 | false | 438 | 438 | { ... } |
| C1::C1 | true | 427 | 428 | |
| C1::C1 | true | 428 | 432 | |
| C1::C1 | true | 430 | 427 | |
| C1::C1 | true | 432 | 436 | |
| C1::C1 | true | 434 | 430 | |
| C1::C1 | true | 436 | 264 | |
| C1::C1 | true | 438 | 434 | |
| C1::operator= | false | 376 | 376 | operator= |
| C1::operator= | false | 382 | 382 | operator= |
| C1::operator== | false | 254 | 254 | operator== |
| C1::operator== | false | 404 | 404 | this |
| C1::operator== | false | 406 | 406 | val |
| C1::operator== | false | 408 | 408 | other |
| C1::operator== | false | 410 | 410 | (reference dereference) |
| C1::operator== | false | 411 | 411 | val |
| C1::operator== | false | 413 | 413 | ... == ... |
| C1::operator== | false | 415 | 415 | return ... |
| C1::operator== | false | 417 | 417 | { ... } |
| C1::operator== | true | 404 | 406 | |
| C1::operator== | true | 406 | 408 | |
| C1::operator== | true | 408 | 411 | |
| C1::operator== | true | 411 | 413 | |
| C1::operator== | true | 413 | 254 | |
| C1::operator== | true | 415 | 404 | |
| C1::operator== | true | 417 | 415 | |
| C1::C1 | false | 268 | 268 | C1 |
| C1::C1 | false | 394 | 394 | C1 |
| C1::C1 | false | 398 | 398 | C1 |
| C1::C1 | false | 435 | 435 | this |
| C1::C1 | false | 436 | 436 | val |
| C1::C1 | false | 438 | 438 | x |
| C1::C1 | false | 440 | 440 | ... = ... |
| C1::C1 | false | 442 | 442 | ExprStmt |
| C1::C1 | false | 444 | 444 | return ... |
| C1::C1 | false | 446 | 446 | { ... } |
| C1::C1 | true | 435 | 436 | |
| C1::C1 | true | 436 | 440 | |
| C1::C1 | true | 438 | 435 | |
| C1::C1 | true | 440 | 444 | |
| C1::C1 | true | 442 | 438 | |
| C1::C1 | true | 444 | 268 | |
| C1::C1 | true | 446 | 442 | |
| C1::operator= | false | 383 | 383 | operator= |
| C1::operator= | false | 390 | 390 | operator= |
| C1::operator== | false | 257 | 257 | operator== |
| C1::operator== | false | 412 | 412 | this |
| C1::operator== | false | 414 | 414 | val |
| C1::operator== | false | 416 | 416 | other |
| C1::operator== | false | 418 | 418 | (reference dereference) |
| C1::operator== | false | 419 | 419 | val |
| C1::operator== | false | 421 | 421 | ... == ... |
| C1::operator== | false | 423 | 423 | return ... |
| C1::operator== | false | 425 | 425 | { ... } |
| C1::operator== | true | 412 | 414 | |
| C1::operator== | true | 414 | 416 | |
| C1::operator== | true | 416 | 419 | |
| C1::operator== | true | 419 | 421 | |
| C1::operator== | true | 421 | 257 | |
| C1::operator== | true | 423 | 412 | |
| C1::operator== | true | 425 | 423 | |
| C2::C2 | false | 201 | 201 | C2 |
| C2::C2 | false | 313 | 313 | C2 |
| C2::C2 | false | 361 | 361 | this |
| C2::C2 | false | 362 | 362 | val |
| C2::C2 | false | 364 | 364 | x |
| C2::C2 | false | 366 | 366 | ... = ... |
| C2::C2 | false | 368 | 368 | ExprStmt |
| C2::C2 | false | 370 | 370 | return ... |
| C2::C2 | false | 372 | 372 | { ... } |
| C2::C2 | true | 361 | 362 | |
| C2::C2 | true | 362 | 366 | |
| C2::C2 | true | 364 | 361 | |
| C2::C2 | true | 366 | 370 | |
| C2::C2 | true | 368 | 364 | |
| C2::C2 | true | 370 | 201 | |
| C2::C2 | true | 372 | 368 | |
| C2::operator= | false | 307 | 307 | operator= |
| C2::operator== | false | 191 | 191 | operator== |
| C2::operator== | false | 327 | 327 | this |
| C2::operator== | false | 329 | 329 | val |
| C2::operator== | false | 331 | 331 | other |
| C2::operator== | false | 333 | 333 | (reference dereference) |
| C2::operator== | false | 334 | 334 | val |
| C2::operator== | false | 336 | 336 | ... == ... |
| C2::operator== | false | 338 | 338 | return ... |
| C2::operator== | false | 340 | 340 | { ... } |
| C2::operator== | true | 327 | 329 | |
| C2::operator== | true | 329 | 331 | |
| C2::operator== | true | 331 | 334 | |
| C2::operator== | true | 334 | 336 | |
| C2::operator== | true | 336 | 191 | |
| C2::operator== | true | 338 | 327 | |
| C2::operator== | true | 340 | 338 | |
| C2::~C2 | false | 342 | 342 | ~C2 |
| C2::~C2 | false | 347 | 347 | ; |
| C2::~C2 | false | 349 | 349 | return ... |
| C2::~C2 | false | 351 | 351 | { ... } |
| C2::~C2 | true | 347 | 349 | |
| C2::~C2 | true | 349 | 342 | |
| C2::~C2 | true | 351 | 347 | |
| __va_list_tag::operator= | false | 90 | 90 | operator= |
| __va_list_tag::operator= | false | 97 | 97 | operator= |
| f1 | false | 244 | 244 | f1 |
| f1 | false | 261 | 261 | call to operator== |
| f1 | false | 262 | 262 | call to C1 |
| f1 | false | 267 | 267 | 1 |
| f1 | false | 268 | 268 | (const C1)... |
| f1 | false | 269 | 269 | call to C1 |
| f1 | false | 273 | 273 | 2 |
| f1 | false | 274 | 274 | (const C1)... |
| f1 | false | 275 | 275 | (reference to) |
| f1 | false | 276 | 276 | ; |
| f1 | false | 278 | 278 | { ... } |
| f1 | false | 280 | 280 | if (...) ... |
| f1 | false | 283 | 283 | call to operator== |
| f1 | false | 284 | 284 | call to C1 |
| f1 | false | 288 | 288 | 3 |
| f1 | false | 289 | 289 | (const C1)... |
| C2::C2 | false | 321 | 321 | C2 |
| C2::C2 | false | 369 | 369 | this |
| C2::C2 | false | 370 | 370 | val |
| C2::C2 | false | 372 | 372 | x |
| C2::C2 | false | 374 | 374 | ... = ... |
| C2::C2 | false | 376 | 376 | ExprStmt |
| C2::C2 | false | 378 | 378 | return ... |
| C2::C2 | false | 380 | 380 | { ... } |
| C2::C2 | true | 369 | 370 | |
| C2::C2 | true | 370 | 374 | |
| C2::C2 | true | 372 | 369 | |
| C2::C2 | true | 374 | 378 | |
| C2::C2 | true | 376 | 372 | |
| C2::C2 | true | 378 | 201 | |
| C2::C2 | true | 380 | 376 | |
| C2::operator= | false | 315 | 315 | operator= |
| C2::operator== | false | 190 | 190 | operator== |
| C2::operator== | false | 335 | 335 | this |
| C2::operator== | false | 337 | 337 | val |
| C2::operator== | false | 339 | 339 | other |
| C2::operator== | false | 341 | 341 | (reference dereference) |
| C2::operator== | false | 342 | 342 | val |
| C2::operator== | false | 344 | 344 | ... == ... |
| C2::operator== | false | 346 | 346 | return ... |
| C2::operator== | false | 348 | 348 | { ... } |
| C2::operator== | true | 335 | 337 | |
| C2::operator== | true | 337 | 339 | |
| C2::operator== | true | 339 | 342 | |
| C2::operator== | true | 342 | 344 | |
| C2::operator== | true | 344 | 190 | |
| C2::operator== | true | 346 | 335 | |
| C2::operator== | true | 348 | 346 | |
| C2::~C2 | false | 350 | 350 | ~C2 |
| C2::~C2 | false | 355 | 355 | ; |
| C2::~C2 | false | 357 | 357 | return ... |
| C2::~C2 | false | 359 | 359 | { ... } |
| C2::~C2 | true | 355 | 357 | |
| C2::~C2 | true | 357 | 350 | |
| C2::~C2 | true | 359 | 355 | |
| __va_list_tag::operator= | false | 105 | 105 | operator= |
| __va_list_tag::operator= | false | 111 | 111 | operator= |
| f1 | false | 248 | 248 | f1 |
| f1 | false | 265 | 265 | call to operator== |
| f1 | false | 266 | 266 | call to C1 |
| f1 | false | 271 | 271 | 1 |
| f1 | false | 272 | 272 | (const C1)... |
| f1 | false | 273 | 273 | call to C1 |
| f1 | false | 277 | 277 | 2 |
| f1 | false | 278 | 278 | (reference to) |
| f1 | false | 279 | 279 | (reference dereference) |
| f1 | false | 280 | 280 | (const C1)... |
| f1 | false | 281 | 281 | (reference to) |
| f1 | false | 282 | 282 | ; |
| f1 | false | 284 | 284 | { ... } |
| f1 | false | 286 | 286 | if (...) ... |
| f1 | false | 289 | 289 | call to operator== |
| f1 | false | 290 | 290 | call to C1 |
| f1 | false | 294 | 294 | 3 |
| f1 | false | 295 | 295 | (const C1)... |
| f1 | false | 296 | 296 | (reference to) |
| f1 | false | 297 | 297 | ; |
| f1 | false | 299 | 299 | { ... } |
| f1 | false | 301 | 301 | if (...) ... |
| f1 | false | 303 | 303 | return ... |
| f1 | false | 305 | 305 | { ... } |
| f1 | true | 261 | 278 | T |
| f1 | true | 261 | 301 | F |
| f1 | true | 262 | 261 | |
| f1 | true | 267 | 262 | |
| f1 | true | 269 | 267 | |
| f1 | true | 273 | 269 | |
| f1 | true | 276 | 301 | |
| f1 | true | 278 | 276 | |
| f1 | true | 280 | 273 | |
| f1 | true | 283 | 299 | T |
| f1 | true | 283 | 303 | F |
| f1 | true | 284 | 283 | |
| f1 | true | 288 | 284 | |
| f1 | true | 290 | 288 | |
| f1 | false | 296 | 296 | call to C1 |
| f1 | false | 300 | 300 | 3 |
| f1 | false | 301 | 301 | (reference to) |
| f1 | false | 302 | 302 | (reference dereference) |
| f1 | false | 303 | 303 | (const C1)... |
| f1 | false | 304 | 304 | (reference to) |
| f1 | false | 305 | 305 | ; |
| f1 | false | 307 | 307 | { ... } |
| f1 | false | 309 | 309 | if (...) ... |
| f1 | false | 311 | 311 | return ... |
| f1 | false | 313 | 313 | { ... } |
| f1 | true | 265 | 284 | T |
| f1 | true | 265 | 309 | F |
| f1 | true | 266 | 265 | |
| f1 | true | 271 | 266 | |
| f1 | true | 273 | 271 | |
| f1 | true | 277 | 273 | |
| f1 | true | 282 | 309 | |
| f1 | true | 284 | 282 | |
| f1 | true | 286 | 277 | |
| f1 | true | 289 | 307 | T |
| f1 | true | 289 | 311 | F |
| f1 | true | 290 | 289 | |
| f1 | true | 294 | 290 | |
| f1 | true | 297 | 303 | |
| f1 | true | 299 | 297 | |
| f1 | true | 301 | 294 | |
| f1 | true | 303 | 244 | |
| f1 | true | 305 | 280 | |
| f1 | true | 296 | 294 | |
| f1 | true | 300 | 296 | |
| f1 | true | 305 | 311 | |
| f1 | true | 307 | 305 | |
| f1 | true | 309 | 300 | |
| f1 | true | 311 | 248 | |
| f1 | true | 313 | 286 | |
| f2 | false | 181 | 181 | f2 |
| f2 | false | 198 | 198 | call to operator== |
| f2 | false | 199 | 199 | call to C2 |
@@ -127,41 +131,45 @@
| f2 | false | 205 | 205 | (const C2)... |
| f2 | false | 206 | 206 | call to C2 |
| f2 | false | 210 | 210 | 2 |
| f2 | false | 211 | 211 | (const C2)... |
| f2 | false | 212 | 212 | (reference to) |
| f2 | false | 213 | 213 | ; |
| f2 | false | 215 | 215 | { ... } |
| f2 | false | 217 | 217 | if (...) ... |
| f2 | false | 220 | 220 | call to operator== |
| f2 | false | 221 | 221 | call to C2 |
| f2 | false | 225 | 225 | 3 |
| f2 | false | 226 | 226 | (const C2)... |
| f2 | false | 227 | 227 | call to C2 |
| f2 | false | 231 | 231 | 3 |
| f2 | false | 232 | 232 | (const C2)... |
| f2 | false | 233 | 233 | (reference to) |
| f2 | false | 234 | 234 | ; |
| f2 | false | 236 | 236 | { ... } |
| f2 | false | 238 | 238 | if (...) ... |
| f2 | false | 240 | 240 | return ... |
| f2 | false | 242 | 242 | { ... } |
| f2 | true | 198 | 215 | T |
| f2 | true | 198 | 238 | F |
| f2 | false | 211 | 211 | (reference to) |
| f2 | false | 212 | 212 | (reference dereference) |
| f2 | false | 213 | 213 | (const C2)... |
| f2 | false | 214 | 214 | (reference to) |
| f2 | false | 215 | 215 | ; |
| f2 | false | 217 | 217 | { ... } |
| f2 | false | 219 | 219 | if (...) ... |
| f2 | false | 222 | 222 | call to operator== |
| f2 | false | 223 | 223 | call to C2 |
| f2 | false | 227 | 227 | 3 |
| f2 | false | 228 | 228 | (const C2)... |
| f2 | false | 229 | 229 | call to C2 |
| f2 | false | 233 | 233 | 3 |
| f2 | false | 234 | 234 | (reference to) |
| f2 | false | 235 | 235 | (reference dereference) |
| f2 | false | 236 | 236 | (const C2)... |
| f2 | false | 237 | 237 | (reference to) |
| f2 | false | 238 | 238 | ; |
| f2 | false | 240 | 240 | { ... } |
| f2 | false | 242 | 242 | if (...) ... |
| f2 | false | 244 | 244 | return ... |
| f2 | false | 246 | 246 | { ... } |
| f2 | true | 198 | 217 | T |
| f2 | true | 198 | 242 | F |
| f2 | true | 199 | 198 | |
| f2 | true | 204 | 199 | |
| f2 | true | 206 | 204 | |
| f2 | true | 210 | 206 | |
| f2 | true | 213 | 238 | |
| f2 | true | 215 | 213 | |
| f2 | true | 217 | 210 | |
| f2 | true | 220 | 236 | T |
| f2 | true | 220 | 240 | F |
| f2 | true | 221 | 220 | |
| f2 | true | 225 | 221 | |
| f2 | true | 227 | 225 | |
| f2 | true | 231 | 227 | |
| f2 | true | 234 | 240 | |
| f2 | true | 236 | 234 | |
| f2 | true | 238 | 231 | |
| f2 | true | 240 | 181 | |
| f2 | true | 242 | 217 | |
| f2 | true | 215 | 242 | |
| f2 | true | 217 | 215 | |
| f2 | true | 219 | 210 | |
| f2 | true | 222 | 240 | T |
| f2 | true | 222 | 244 | F |
| f2 | true | 223 | 222 | |
| f2 | true | 227 | 223 | |
| f2 | true | 229 | 227 | |
| f2 | true | 233 | 229 | |
| f2 | true | 238 | 244 | |
| f2 | true | 240 | 238 | |
| f2 | true | 242 | 233 | |
| f2 | true | 244 | 181 | |
| f2 | true | 246 | 219 | |