mirror of
https://github.com/github/codeql.git
synced 2025-12-18 18:10:39 +01:00
Java: Rename sanity -> consistency
This commit is contained in:
@@ -4,8 +4,8 @@
|
||||
* sub-classes of 'SsaVariable'.
|
||||
* @kind problem
|
||||
* @problem.severity error
|
||||
* @id java/sanity/non-unique-ssa-tostring
|
||||
* @tags sanity
|
||||
* @id java/consistency/non-unique-ssa-tostring
|
||||
* @tags consistency
|
||||
*/
|
||||
|
||||
import java
|
||||
|
||||
@@ -3,8 +3,8 @@
|
||||
* @description A phi node should have at least two inputs.
|
||||
* @kind problem
|
||||
* @problem.severity error
|
||||
* @id java/sanity/too-few-phi-inputs
|
||||
* @tags sanity
|
||||
* @id java/consistency/too-few-phi-inputs
|
||||
* @tags consistency
|
||||
*/
|
||||
|
||||
import java
|
||||
|
||||
@@ -4,8 +4,8 @@
|
||||
* and should therefore have a prior definition.
|
||||
* @kind problem
|
||||
* @problem.severity error
|
||||
* @id java/sanity/uncertain-ssa-update-without-prior-def
|
||||
* @tags sanity
|
||||
* @id java/consistency/uncertain-ssa-update-without-prior-def
|
||||
* @tags consistency
|
||||
*/
|
||||
|
||||
import java
|
||||
|
||||
@@ -4,8 +4,8 @@
|
||||
* should have a unique associated SSA variable.
|
||||
* @kind problem
|
||||
* @problem.severity error
|
||||
* @id java/sanity/use-without-unique-ssa-variable
|
||||
* @tags sanity
|
||||
* @id java/consistency/use-without-unique-ssa-variable
|
||||
* @tags consistency
|
||||
*/
|
||||
|
||||
import java
|
||||
|
||||
Reference in New Issue
Block a user