DynamoRIO/drmemory
Ver no GitHubadd ability to specify the warning text in a suppression
Open
#947 aberto em 28 de nov. de 2014
Component-SuppressionMigratedPriority-MediumType-FeatureUsabilityhelp wanted
Métricas do repositório
- Stars
- (2.727 stars)
- Métricas de merge de PR
- (Métricas PR pendentes)
Description
From bruen...@google.com on July 20, 2012 08:31:43
today warnings can only be suppressed by specifying the callstack. we keep adding more types of warnings (all the GDI checks are warnings), making this problematic. this feature is about adding a warning suppression label= field or something.
Original issue: http://code.google.com/p/drmemory/issues/detail?id=947