File tree Expand file tree Collapse file tree 1 file changed +1
-24
lines changed Expand file tree Collapse file tree 1 file changed +1
-24
lines changed Original file line number Diff line number Diff line change 4
4
"properties" : {
5
5
"obligation" : " rule"
6
6
},
7
- "queries" : [
8
- {
9
- "description" : " " ,
10
- "kind" : " problem" ,
11
- "name" : " Avoid side effects in arguments to unsafe macros" ,
12
- "precision" : " very-high" ,
13
- "severity" : " error" ,
14
- "short_name" : " SideEffectsInArgumentsToUnsafeMacros" ,
15
- "tags" : [
16
- " correctness"
17
- ]
18
- }
19
- ],
7
+ "queries" : [],
20
8
"title" : " Avoid side effects in arguments to unsafe macros"
21
9
}
22
10
},
36
24
"tags" : [
37
25
" correctness"
38
26
]
39
- },
40
- {
41
- "description" : " An object shall not be modified more than once between two adjacent sequence points or within any full expression." ,
42
- "kind" : " problem" ,
43
- "name" : " No object shall be modified more than once" ,
44
- "precision" : " very-high" ,
45
- "severity" : " warning" ,
46
- "short_name" : " MultipleObjectModifications" ,
47
- "tags" : [
48
- " correctness"
49
- ]
50
27
}
51
28
],
52
29
"title" : " The value of an expression and its persistent side effects shall be the same under all permitted evaluation orders"
You can’t perform that action at this time.
0 commit comments