search

staticanalysis / data-race-test

Automatically exported from code.google.com/p/data-race-test
0 stars 0 forks source link

TSan doesn't handle weird-sized memory accesses, e.g. 28 bytes #36

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
TEST(MacTests, FegetenvTest) {
  fenv_t tmp;
  if (fegetenv(&tmp) != 0)
    FAIL() << "fegetenv failed";
}

->

ThreadSanitizer: ts_valgrind.cc:1031
(void instrument_mem_access(TraceInfo*, IRTemp, uintptr_t, size_t*, IRSB*, 
IRStmt*, IRExpr*, Int, Bool, Bool, Int)):
Assertion 'szB == 1 || szB == 2 || szB == 4 || szB == 8 || szB == 10 || szB == 
16' failed.

"fegetenv" does a 28-bytes access

Original issue reported on code.google.com by timurrrr on 18 May 2010 at 12:10