DynamoRIO/drmemory

add ability to specify the warning text in a suppression

Open

#947 ouverte le 28 nov. 2014

Voir sur GitHub
 (1 commentaire) (0 réactions) (0 assignés)C (289 forks)auto 404
Component-SuppressionMigratedPriority-MediumType-FeatureUsabilityhelp wanted

Métriques du dépôt

Stars
 (2 727 stars)
Métriques de merge PR
 (Métriques PR en attente)

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

Guide contributeur