Skip to content

Commit 6733786

Browse files
author
Nikita Kraiouchkine
committed
Add comments to EXP32-C query
1 parent d483c3c commit 6733786

File tree

1 file changed

+6
-0
lines changed

1 file changed

+6
-0
lines changed

c/cert/src/rules/EXP32-C/DoNotAccessVolatileObjectWithNonVolatileReference.ql

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,13 @@ import codingstandards.c.cert
1616
import semmle.code.cpp.controlflow.Dereferenced
1717
import semmle.code.cpp.controlflow.StackVariableReachability
1818

19+
/**
20+
* An expression involving volatile-qualified types that results in undefined behavior.
21+
*/
1922
abstract class UndefinedVolatilePointerExpr extends Expr {
23+
/**
24+
* Gets a descriptive string describing the type of expression and undefined behavior.
25+
*/
2026
abstract string getMessage();
2127
}
2228

0 commit comments

Comments
 (0)