Merge pull request #180 from mtygesen/unfolding-of-subtraction-2085693 #579
Annotations
10 warnings
build
narrowing conversion of '((((spot::to_parity_generator*)this)->spot::to_parity_generator::opt_.spot::to_parity_options::iar && is_streett_like) ? pairs2.std::vector<spot::acc_cond::rs_pair>::size() : 4294967295)' from 'long long unsigned int' to 'long unsigned int' [-Wnarrowing]
|
build
narrowing conversion of '((((spot::to_parity_generator*)this)->spot::to_parity_generator::opt_.spot::to_parity_options::iar && is_streett_like) ? pairs2.std::vector<spot::acc_cond::rs_pair>::size() : 4294967295)' from 'long long unsigned int' to 'long unsigned int' [-Wnarrowing]
|
build
narrowing conversion of '((((spot::to_parity_generator*)this)->spot::to_parity_generator::opt_.spot::to_parity_options::iar && is_rabin_like) ? pairs1.std::vector<spot::acc_cond::rs_pair>::size() : 4294967295)' from 'long long unsigned int' to 'long unsigned int' [-Wnarrowing]
|
build
narrowing conversion of '((((spot::to_parity_generator*)this)->spot::to_parity_generator::opt_.spot::to_parity_options::iar && is_rabin_like) ? pairs1.std::vector<spot::acc_cond::rs_pair>::size() : 4294967295)' from 'long long unsigned int' to 'long unsigned int' [-Wnarrowing]
|
build
'memset' specified bound between 18446744065119617024 and 18446744073709551612 exceeds maximum object size 9223372036854775807 [-Wstringop-overflow=]
|
build
'memset' specified bound between 18446744065119617024 and 18446744073709551612 exceeds maximum object size 9223372036854775807 [-Wstringop-overflow=]
|
build
'memset' specified bound between 18446744065119617024 and 18446744073709551612 exceeds maximum object size 9223372036854775807 [-Wstringop-overflow=]
|
build
'memset' specified bound between 18446744065119617024 and 18446744073709551612 exceeds maximum object size 9223372036854775807 [-Wstringop-overflow=]
|
build
'memset' specified bound between 18446744071562067968 and 18446744073709551615 exceeds maximum object size 9223372036854775807 [-Wstringop-overflow=]
|
build
'memset' specified bound between 18446744071562067968 and 18446744073709551615 exceeds maximum object size 9223372036854775807 [-Wstringop-overflow=]
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
verifypn-win64
|
3.16 MB |
|