此代码取自IncludeOS github page。我修改了一下,以便在没有其他头文件的情况下进行编译。 IncludeOS的find
函数有点过于冗长,所以我想简化它。但经过修改后,代码的行为与我的预期不同。
这是一个简短的解释。此代码用于解析HTTP标头。标题字段是名称 - 值对。它表示为vector<pair<string, string>>
。 find
函数用于在标题中查找字段名称的位置,has_field
用于检查标题中是否存在特定字段名称。
在main
函数中,四个元素被追加到字段中。不应该在字段中找到six
。但是has_field
会返回true。
我尝试使用gdb
跟踪错误。但我迷失在输出的海洋中。我确实找到了一个有趣的消息。
std :: __ uninitialized_copy&lt; false&gt; :: __ uninit_copy&lt; __ gnu_cxx :: __ normal_iterator&lt; std :: pair&lt; std :: __ cxx11 :: basic_string&lt; char,std :: char_traits&lt; char&gt ;,std :: allocator&lt; char&gt; &gt;,std :: __ cxx11 :: basic_string&lt; char,std :: char_traits&lt; char&gt ;,std :: allocator&lt; char&gt; &GT; &GT; const *,std :: vector&lt; std :: pair&lt; std :: __ cxx11 :: basic_string&lt; char,std :: char_traits&lt; char&lt;,std :: allocator&lt; char&gt; &gt;,std :: __ cxx11 :: basic_string&lt; char,std :: char_traits&lt; char&gt ;,std :: allocator&lt; char&gt; &GT; &gt;,std :: allocator&lt; std :: pair&lt; std :: __ cxx11 :: basic_string&lt; char,std :: char_traits&lt; char&lt;,std :: allocator&lt; char&gt; &gt;,std :: __ cxx11 :: basic_string&lt; char,std :: char_traits&lt; char&gt ;,std :: allocator&lt; char&gt; &GT; &gt;&gt;&gt;&gt;,std :: pair&lt; std :: __ cxx11 :: basic_string&lt; char,std :: char_traits&lt; char&gt ;,std :: allocator&lt; char&gt; &gt;,std :: __ cxx11 :: basic_string&lt; char,std :: char_traits&lt; char&gt ;,std :: allocator&lt; char&gt; &GT; &GT * GT; (__ first = {first =&#34; one&#34;,second =&#34; 1&#34;},__last =
{first =&lt;错误读取变量:无法创建地址为0x0且非零长度的惰性字符串。&gt;,second =&#34;&#34;},__ result = 0x61bf00)
我使用clang
消毒剂来找出错误的原因。只有内存消毒剂才能显示有趣的报告。运行时,
clang++ -std=c++17 -O1 -fsanitize=memory -fsanitize-memory-track-origins -fno-omit-frame-pointer main.cc
/a.out
举报,
未初始化的价值是通过分配&#39; ref.tmp&#39;创建的。在函数的堆栈框架中,_ZNSt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_EC2IRA6_KcRA2_S8_Lb1EEEOT_OT0 _&#39;`。
但是,当优化级别设置为-O3
时,不显示任何内容。
#include <algorithm>
#include <iostream>
#include <vector>
#include <experimental/string_view>
using Headers = std::vector<std::pair<std::string, std::string>>;
using string_view = std::experimental::string_view;
Headers::const_iterator find(Headers fields, const string_view field) {
if (field.empty()) return fields.cend();
//-----------------------------------
return
std::find_if(fields.cbegin(), fields.cend(), [field](const auto _) {
return std::equal(_.first.cbegin(), _.first.cend(), field.cbegin(), field.cend(),
[](const auto a, const auto b) { return std::tolower(a) == std::tolower(b); });
});
}
bool has_field(Headers fields, const string_view field)
{
return find(fields, field) != fields.cend();
}
int main()
{
Headers fields;
fields.emplace_back("one", "1");
fields.emplace_back("two", "2");
fields.emplace_back("three", "3");
fields.emplace_back("four", "4");
std::string s = "six";
if (has_field(fields, s))
std::cout << s << " is in " << "fields" << std::endl;
return 0;
}
答案 0 :(得分:1)
这可能是假阳性。 llvm附带符号化二进制文件,它允许清洁剂输出行号。我用这个最小的例子设法重现了你的错误:
1 #include <iostream>
2 #include <vector>
3
4 using Headers = std::vector<int>;
5
6 bool a(Headers fields) {
7 return true;
8 }
9
10 bool b(Headers fields)
11 {
12 return a(fields);
13 }
14
15 int main()
16 {
17 Headers fields;
18
19 if (b(fields)) {
20 std::cout << std::endl;
21 }
22
23 return 0;
24 }
在这两种情况下,堆栈跟踪声明std::endl
都是罪魁祸首。为了发生错误,必须发生以下神奇的事情:
std::endl
如果我通过引用声明a
取fields
,则错误消失;同样不能说b
。所有这些都让我相信它是荒谬的和误报。作为参考,这里的消毒剂输出带有行号:
Uninitialized bytes in __interceptor_memcmp at offset 192 inside [0x7fff18347610, 256)
==5724==WARNING: MemorySanitizer: use-of-uninitialized-value
#0 0x7f8f663d94ab in std::ctype<char>::_M_widen_init() const (/lib64/libstdc++.so.6+0xb74ab)
#1 0x7f8f66435d17 in std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&) (/lib64/libstdc++.so.6+0x113d17)
#2 0x4912ff in main test.cpp:20:15
#3 0x7f8f65415889 in __libc_start_main (/lib64/libc.so.6+0x20889)
#4 0x41a9b9 in _start (a.out+0x41a9b9)
Uninitialized value was created by an allocation of 'ref.tmp' in the stack frame of function '_ZNSt6vectorIiSaIiEEC2ERKS1_'
#0 0x491360 in std::vector<int, std::allocator<int> >::vector(std::vector<int, std::allocator<int> > const&) /usr/bin/../lib/gcc/x86_64-redhat-linux/7/../../../../include/c++/7/bits/stl_vector.h:329
SUMMARY: MemorySanitizer: use-of-uninitialized-value (/lib64/libstdc++.so.6+0xb74ab) in std::ctype<char>::_M_widen_init() const
Exiting